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 Idris Mode for Atom.io☆102Updated last year
- RRB-Trees: Efficient Immutable Vectors☆52Updated 13 years ago
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 8 years ago
- Charity language interpreters and literature☆114Updated 6 years ago
- Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐☆164Updated 7 years ago
- Dependently Typed Lambda Calculus in Haskell☆116Updated 4 years ago
- Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.☆61Updated 8 years ago
- Play Minesweeper by formally proving your moves in Idris☆169Updated last year
- JVM code generation☆32Updated 7 years ago
- Sample code from "Type Driven Development with Idris"☆164Updated 8 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"☆134Updated 5 years ago
- Js libraries for idris☆49Updated 6 years ago
- Parser combinators for Idris☆244Updated 6 years ago
- Slides and exercises for the Idris course taught at Galois☆51Updated 10 years ago
- Idris for Visual Studio Code☆107Updated 3 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆223Updated 7 years ago
- Using Arrows to model parallel processes/computations.☆18Updated 5 years ago
- A parser combinator library based on the GLL algorithm☆310Updated last year
- ☆92Updated 10 years ago
- Java Code Generator for Idris☆72Updated 9 years ago
- ☆138Updated 4 years ago
- A small and expressive dependently typed language☆131Updated 5 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- Various data structures for use in the Idris Language.☆94Updated 5 years ago
- Frank compiler☆304Updated last year
- every day i'm truffling☆70Updated 4 years ago
- Experiments with sequent calculi☆28Updated 4 years ago
- A minimalistic, elegant and powerful approach to working with graphs in a functional programming language☆200Updated 4 years ago
- A talk on using recursion schemes in FP.☆219Updated last year