melted / get-idris
Setting up an Idris dev environment on Windows
☆16Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for get-idris
- Collection of Idris snippets☆21Updated 7 months ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- Idris-written, correct-by-construction, simply-typed lambda calculus.☆39Updated 6 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- ☆23Updated 6 years ago
- A natural transformation package☆16Updated 2 weeks ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆34Updated 2 weeks ago
- A simple XML module for Idris.☆13Updated 4 years ago
- Paris Functional Programming Meetup☆27Updated 4 years ago
- ☆41Updated 7 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 6 years ago
- Dependently typed Algorithm M and friends☆25Updated 6 years ago
- SDL bindings package for idris☆46Updated 4 years ago
- A semantic highlighter for Idris code☆14Updated 6 years ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 4 years ago
- Invertible parsing for S-expressions☆33Updated last month
- a simple functional language for learners☆30Updated 7 years ago
- Continuously varying values, made easy :)☆40Updated 5 years ago
- JHC Haskell compiler split into reusable components☆58Updated 5 years ago
- Deep evaluation of data structures☆41Updated 2 months ago
- An OS written in Idris (eventually...)☆18Updated 9 years ago
- Build tool for ATS.☆41Updated 2 years ago
- Simple FRP implementation for Haskell. See blog post at http://travis.athougies.net/☆14Updated 9 years ago
- ☆23Updated 7 years ago
- Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.☆27Updated last week
- Modern compiler implementation in ML, in Haskell☆16Updated 6 years ago
- Examples from Introduction to Programming in ATS☆26Updated 10 years ago
- A small in-terminal dungeon crawler written in Haskell☆11Updated 6 years ago