melted / get-idris
Setting up an Idris dev environment on Windows
☆16Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for get-idris
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- A semantic highlighter for Idris code☆14Updated 6 years ago
- Collection of Idris snippets☆21Updated 8 months ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- ☆41Updated 7 years ago
- A simple XML module for Idris.☆13Updated 4 years ago
- Github project where I track everything related to my thesis☆26Updated 8 years ago
- Dependently typed Algorithm M and friends☆25Updated 6 years ago
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39Updated 6 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- ☆23Updated 7 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- Agda suffices: software written from A to Z in Agda☆15Updated 5 years ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 6 years ago
- ☆23Updated 6 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Updated 5 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- The Alms Programming Language☆44Updated 6 years ago
- Recursion schemes in ATS☆9Updated 2 years ago
- Mirror of Conor McBride’s 2011 Agda course materials☆11Updated 5 years ago
- An interpreter of F-ing modules☆18Updated 5 years ago
- System POSIX bindings for Idris.☆36Updated 5 years ago
- System F in coq.☆19Updated 9 years ago
- A natural transformation package☆16Updated 3 weeks ago
- Invertible parsing for S-expressions☆33Updated 2 months ago
- QuickCheck extras.☆29Updated 5 years ago
- A series of implementations of a simple functional programming language.☆30Updated 8 years ago
- Example row-polymorphism implementations☆59Updated last year
- Derivation of Optimized Definitions Based on Specs☆15Updated 5 years ago