phadej / write-yourself-a-typed-functional-languageLinks
Write yourself a typed functional language
☆65Updated 6 years ago
Alternatives and similar repositories for write-yourself-a-typed-functional-language
Users that are interested in write-yourself-a-typed-functional-language are comparing it to the libraries listed below
Sorting:
- ☆41Updated 8 years ago
- Recursion schemes for Idris☆64Updated 7 years ago
- Evaluate special comments in your program on file save.☆38Updated 4 years ago
- Measure time complexity empirically.☆48Updated 9 years ago
- Slides & demos for talks I do☆58Updated 4 years ago
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- ☆40Updated 5 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 4 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- The compilation target that functional programmers always wanted.☆62Updated 5 years ago
- 🧠 Type-safe memory units☆61Updated 4 years ago
- Compositional type checking for Haskell☆37Updated 14 years ago
- Template for Hindley-Milner based languages☆39Updated 3 years ago
- a simple functional language for learners☆30Updated 8 years ago
- Sonic the Hedgehog 2 in Haskell☆67Updated 3 years ago
- Dive into GHC☆82Updated 8 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- Examples for the book “Alex and Happy”☆34Updated 10 years ago
- Hindley-Milner type inference using constraints☆50Updated 8 years ago
- A simple multithreaded chat server in haskell☆35Updated 6 years ago
- JVM implementation in Haskell☆44Updated 11 months ago
- compile your own functional language☆36Updated 6 years ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 6 years ago
- A fast open-union type, suitable for 100+ contained alternatives.☆99Updated last year
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- A Haskell library providing separation of effects on the type level, effectively splitting up the monolithic IO-monad into more limited c…☆27Updated 7 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 7 years ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- Transactional key-value store written entirely in Haskell☆93Updated 4 years ago