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 7 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- 🧠 Type-safe memory units☆61Updated 4 years ago
- A workspace for research teams☆105Updated 5 years ago
- Measure time complexity empirically.☆48Updated 9 years ago
- Comma (and other) separated values☆78Updated last year
- ♾️ Sized list☆46Updated last year
- Slides & demos for talks I do☆58Updated 4 years ago
- ☆40Updated 6 years ago
- A general purpose programming language with linear types☆43Updated 8 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Compiler for the Rum language☆26Updated 5 years ago
- Haskell 98 contravariant functors☆73Updated 7 months ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆69Updated 7 months ago
- JVM implementation in Haskell☆44Updated 8 months ago
- Dive into GHC☆82Updated 8 years ago
- 🖼️ the compiling to closed categories compiler☆66Updated 7 years ago
- JHC Haskell compiler split into reusable components☆58Updated 6 years ago
- Evaluate special comments in your program on file save.☆38Updated 4 years ago
- ☆40Updated 5 years ago
- A monad for managed values☆50Updated 2 years ago
- Example row-polymorphism implementations☆61Updated last year
- Compile Dhall expressions to Cabal files☆101Updated 2 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
- compiler with polyhedral optmization for a lazy functional programming language☆67Updated 7 years ago
- Type Safe LLVM IR ( Experimental )☆49Updated 6 years ago
- 🐚 Out of the shell solution for scripting in Haskell☆72Updated 7 months ago
- a simple functional language for learners☆30Updated 8 years ago
- A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"☆46Updated 6 years ago