ollef / sixtyLinks
Dependent type checker using normalisation by evaluation
☆269Updated last year
Alternatives and similar repositories for sixty
Users that are interested in sixty are comparing it to the libraries listed below
Sorting:
- Frank compiler☆302Updated last year
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆384Updated 2 years ago
- A compiler for functional programs on serialized data☆172Updated last week
- Staged compilation with dependent types☆183Updated 6 months ago
- Spartan type theory☆271Updated 2 months ago
- A categorical programming language with effects☆288Updated 2 years ago
- 1ML prototype interpreter☆288Updated 5 years ago
- 😎TT☆233Updated 3 months ago
- Build system☆131Updated 3 weeks ago
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆133Updated 5 years ago
- A small implementation of graded modal dependent type theory. A younger cousin to Granule.☆61Updated last year
- The Makam Metalanguage☆200Updated 2 years ago
- Alternative algorithm for algebraic subtyping.☆170Updated last month
- "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory☆213Updated 3 years ago
- The adventures of a Haskell compiler☆232Updated 3 weeks ago
- Demo for high-performance type theory elaboration☆570Updated 2 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆640Updated last week
- Bootstrapping ATS3☆232Updated this week
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆209Updated this week
- an implementation of stuck macros☆148Updated last week
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆215Updated 2 years ago
- being an operating system for typechecking processes☆130Updated last month
- A simple ML-like programming language with subtyping and full type inference.☆180Updated 11 months ago
- The Twelf Programming Language☆145Updated 3 weeks ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆81Updated 8 years ago
- A bidirectional type checker☆66Updated 8 years ago
- The cuteness implementation of a dependently typed language.☆193Updated 2 years ago
- Contextual types meet mechanized metatheory!☆203Updated last month
- Embeddable Lambda Prolog Interpreter☆329Updated last week
- A comparison of how computational effects and handlers are implemented in various programming languages.☆143Updated 6 years ago