Open source projects in Idris

  • rbarreiro/idrisjs

    Js libraries for idris

    ☕Idris   ★30 stars   ⚠0 open issues   ⚭1 contributors   ☯almost 3 years old  
  • david-christiansen/idris-type-providers

    Type provider library for Idris

    ☕Idris   ★66 stars   ⚠2 open issues   ⚭2 contributors   ☯over 5 years old  
  • idris-hackers/IdrisScript

    FFI Bindings to interact with the unsafe world of JavaScript

    ☕Idris   ★65 stars   ⚠2 open issues   ⚭3 contributors   ☯about 4 years old  
  • ziman/lightyear

    Parser combinators for Idris

    ☕Idris   ★165 stars   ⚠7 open issues   ⚭7 contributors   ☯about 5 years old  
  • david-christiansen/IdrisAtGalois2015

    Slides and exercises for the Idris course taught at Galois

    ☕Idris   ★44 stars   ⚠0 open issues   ⚭1 contributors   ☯almost 4 years old  
  • KesterTong/idris2048

    2048 in Idris

    ☕Idris   ★112 stars   ⚠0 open issues   ⚭4 contributors   ☯over 4 years old  
  • idris-hackers/idris-demos

    Collection of Idris tests and demonstration programs

    ☕Idris   ★141 stars   ⚠4 open issues   ⚭1 contributors   ☯about 5 years old  
  • idris-hackers/idris-koans

    Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Idris. Your insight will be derived by encountering failing code and fixing them so that they type check.

    ☕Idris   ★136 stars   ⚠1 open issues   ⚭3 contributors   ☯about 5 years old  
  • stepcut/idris-blink

    A simple Idris program to blink the LED on an Arduino

    ☕Idris   ★28 stars   ⚠0 open issues   ⚭1 contributors   ☯over 4 years old  
  • edwinb/TypeDD-Samples

    Sample code from "Type Driven Development with Idris"

    ☕Idris   ★89 stars   ⚠9 open issues   ⚭2 contributors   ☯almost 2 years old  
  • idris-hackers/software-foundations

    Software Foundations in Idris

    ☕Idris   ★185 stars   ⚠17 open issues   ⚭4 contributors   ☯over 2 years old  
  • google/idris-protobuf

    A partial implementation of Protocol Buffers in Idris

    ☕Idris   ★17 stars   ⚠3 open issues   ⚭1 contributors   ☯over 2 years old