BjoernLoetters / lambda-mLinks
A lazy and untyped experimental programming language
☆10Updated 7 years ago
Alternatives and similar repositories for lambda-m
Users that are interested in lambda-m are comparing it to the libraries listed below
Sorting:
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 8 years ago
- Lazy functional language compiler targeting LLVM.☆29Updated 14 years ago
- Hindley-Milner type inference using constraints☆50Updated 8 years ago
- Experiments with sequent calculi☆28Updated 4 years ago
- every day i'm truffling☆70Updated 4 years ago
- Play Minesweeper by formally proving your moves in Idris☆167Updated last year
- Charity language interpreters and literature☆114Updated 6 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆61Updated 8 years ago
- RRB-Trees: Efficient Immutable Vectors☆52Updated 12 years ago
- A Idris Mode for Atom.io☆102Updated last year
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆163Updated 6 years ago
- formalization of the Dependent Object Types (DOT) calculus☆161Updated 9 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- State machines in Idris☆37Updated 8 years ago
- Idris for Visual Studio Code☆107Updated 3 years ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆115Updated 8 years ago
- A simple bidirectional type checker☆18Updated 6 years ago
- ☆138Updated 4 years ago
- Example row-polymorphism implementations☆61Updated last year
- JVM code generation☆32Updated 6 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆133Updated 5 years ago
- Java parser and printer for haskell☆67Updated 4 years ago
- higher order dependently typed logic programing☆174Updated 7 years ago
- TiML: A Functional Programming Language with Time Complexity☆80Updated 8 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- Js libraries for idris☆49Updated 5 years ago
- Strict Haskell-like programming language that compiles to LLVM☆70Updated 5 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆223Updated 7 years ago
- An implementation of miniKanren in Haskell☆78Updated 12 years ago