lpeterse / koka
A function-oriented language with effect inference
☆19Updated 10 years ago
Related projects ⓘ
Alternatives and complementary repositories for koka
- Type inference for 'type level computation one step at a time'☆12Updated 6 years ago
- A series of implementations of a simple functional programming language.☆30Updated 8 years ago
- MLpolyR☆7Updated 8 years ago
- The Alms Programming Language☆44Updated 6 years ago
- (Nominal) Adapton in OCaml☆50Updated 8 years ago
- The language of the future!☆72Updated 10 months ago
- Just-In-Time compiler for the OCaml byte-code runtime.☆32Updated 12 years ago
- A dependently typed programming language, and verification tool☆26Updated 8 years ago
- A practical LLVM backend for OCaml (will never be finished)☆33Updated 10 years ago
- The MLPolyR programming language, revived☆24Updated 4 years ago
- Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.☆54Updated 5 years ago
- Higher-order optimization library☆73Updated last year
- Example row-polymorphism implementations☆59Updated last year
- A Specification for Dependent Types in Haskell (Core)☆65Updated 2 years ago
- Template repo for theorem proving in Liquid Haskell☆32Updated 6 years ago
- Optimized JS codegen for Idris☆54Updated 6 years ago
- ☆26Updated 7 years ago
- Supporting tool for Gradual Typing☆16Updated 4 years ago
- Type provider library for Idris☆92Updated 6 years ago
- A tiny language for teaching and experimenting with Refinement Types☆47Updated 3 years ago
- Link to preprints for POPL'18 and colocated events☆87Updated 6 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆44Updated 2 years ago
- being some experiments, working towards some equipment I wish I had☆37Updated 8 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆22Updated 4 years ago
- secret project☆17Updated 6 years ago
- A Dict k v in Idris☆15Updated 3 years ago
- An abstract machine using indexed containers and their zippers☆14Updated 7 years ago