nqpz / burgerforslagLinks
burgerforslag.dk
☆13Updated 2 years ago
Alternatives and similar repositories for burgerforslag
Users that are interested in burgerforslag are comparing it to the libraries listed below
Sorting:
- Slides and handwritten notes on the course on models of programming languages☆51Updated 5 years ago
- Demo for dependent types + runtime code generation☆72Updated 9 months ago
- Accelerated machine learning with dependent types☆99Updated 3 months ago
- Duo - A research language exploring duality in programming language design☆61Updated 2 years ago
- [Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions…☆71Updated last year
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆21Updated 2 months ago
- A verified compiler for a lazy functional language☆36Updated last week
- Bologna Optimal Higher-Order Machine, Version 1.1☆83Updated 8 years ago
- Tutorial for using the MPL compiler for Parallel ML☆23Updated 10 months ago
- ☆90Updated 4 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆61Updated last year
- a functional programming language with algebraic effects and handlers☆82Updated 9 months ago
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated 6 months ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Updated 4 years ago
- Experimental proof assistant (and architecture) for dependent linear logic☆49Updated 3 years ago
- ☆46Updated 2 months ago
- A compiler for functional programs on serialized data☆172Updated last week
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆134Updated 5 years ago
- # A simple variable binding library based on well-scoped indices and environments☆27Updated last month
- Command-like expressions for real infinite-precision calculations☆55Updated 3 months ago
- Agda formalisation of second-order abstract syntax☆55Updated 3 years ago
- Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc☆104Updated 6 months ago
- Algebraic proof discovery in Agda☆35Updated 3 years ago
- Apple array system☆68Updated 2 weeks ago
- HTTP utility library for Standard ML☆11Updated 2 years ago
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆83Updated 4 years ago
- Anders: Cubical Type Checker☆23Updated 2 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆65Updated last week
- An experimental type checker for a modal dependent type theory.☆115Updated 5 years ago
- being an operating system for typechecking processes☆130Updated last month