deech / ATS-Strange-Loop-Talk
☆47Updated 7 years ago
Alternatives and similar repositories for ATS-Strange-Loop-Talk:
Users that are interested in ATS-Strange-Loop-Talk are comparing it to the libraries listed below
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆28Updated 3 years ago
- The compilation target that functional programmers always wanted.☆62Updated 4 years ago
- being bits and pieces I'm inclined to leave lying around☆49Updated 3 months ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- Toy typechecker for Insanely Dependent Types☆79Updated 11 years ago
- A Gradual Dependently-typed Language☆14Updated 5 years ago
- Pretty-print error messages of the ATS Compiler☆34Updated 5 years ago
- A Specification for Dependent Types in Haskell (Core)☆64Updated 2 years ago
- Build tool for ATS.☆41Updated 2 years ago
- ☆41Updated 7 years ago
- Compositional type checking for Haskell☆37Updated 13 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- ☆59Updated 5 years ago
- Collection of ATS goodness☆35Updated 5 years ago
- Example row-polymorphism implementations☆61Updated last year
- Invertible parsing for S-expressions☆34Updated 6 months ago
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 6 years ago
- Map lazy functional language constructs to LLVM IR☆50Updated 5 years ago
- Resurrecting Lennart Augustsson's implementation of Cayenne☆38Updated 11 years ago
- IO using sized types and copatterns☆33Updated 3 years ago
- MetaML and MetaOCaml bibliography☆89Updated 4 months ago
- Malfunction backend for Idris with a FFI to OCaml☆28Updated 5 years ago
- Idris LLVM codegen factored out☆78Updated 7 years ago
- Alternative Core language for GHC plugins☆39Updated 9 years ago
- ☆30Updated 6 years ago
- The Evolution of a Typechecker☆54Updated 6 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago