tsani / eval
An implementation of a small strongly-typed functional language with parametric polymorphism, pattern-matching, and general recursion.
☆10Updated last year
Alternatives and similar repositories for eval
Users that are interested in eval are comparing it to the libraries listed below
Sorting:
- A bidirectional type checker☆63Updated 7 years ago
- Demo for dependent types + runtime code generation☆69Updated 2 months ago
- 🩺 A library for compiler diagnostics☆45Updated 3 months ago
- Prototype for https://github.com/Innf107/vega☆19Updated 9 months ago
- A toy dependent typed language.☆28Updated 3 weeks ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆62Updated last year
- A Language with Dependent Data and Codata Types☆104Updated this week
- A pure type system implemented in OCaml☆78Updated 4 years ago
- A simple implementation of XTT, "A cubical language for Bishop sets"☆26Updated 3 years ago
- A fancy diagnostics library that allows your compilers to exit with grace☆72Updated last month
- Haskell library for type-inference with Hindley-Milner type-system.☆34Updated 11 months ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Updated 3 years ago
- A collection of programming languages and type systems.☆33Updated 8 months ago
- Fir programming language☆51Updated this week
- ☆90Updated 3 years ago
- Duo - A research language exploring duality in programming language design☆57Updated last year
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆58Updated last year
- Hanoi tower in Coq☆25Updated 4 months ago
- Raylib bindings for Lean4☆24Updated 2 weeks ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆45Updated 3 months ago
- A dependent type theory with user defined data types☆46Updated 3 years ago
- Miking - the meta viking: a meta-language system for creating embedded languages☆54Updated 3 weeks ago
- The Flambda backend project for OCaml☆143Updated this week
- A Toy Inverse Bidirectional Typechecker☆31Updated 6 years ago
- Fast equality saturation in Haskell☆84Updated 2 months ago
- Efficient effect handlers based on Evidence Passing Semantics.☆29Updated 4 years ago
- UCI-compatible chess engine in OCaml.☆13Updated 3 weeks ago
- 🐫🎮 OCaml Game Engine☆42Updated last month
- OCaml plus Jane Street extensions☆74Updated 9 months ago