CatarinaGamboa / liquidjava
☆36Updated 2 weeks ago
Alternatives and similar repositories for liquidjava:
Users that are interested in liquidjava are comparing it to the libraries listed below
- Demo for dependent types + runtime code generation☆66Updated this week
- a throwaway implementation of normalization by evaluation☆13Updated 2 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 3 years ago
- ☆30Updated 4 months ago
- Eventually a practical 2-level TT-based compiler☆27Updated last week
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆29Updated 10 months ago
- Materials for OPLSS 2021☆11Updated 3 years ago
- A toy dependent typed language.☆28Updated this week
- A type theory with native support for Polynomial Functors.☆39Updated last year
- Fωμ type checker and compiler☆52Updated 2 years ago
- A Python implementation of the Refinement Types Tutorial.☆9Updated 4 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆72Updated 6 years ago
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆35Updated 3 months ago
- Source code & exercises in Arend's documentation☆21Updated 3 years ago
- MetaML and MetaOCaml bibliography☆86Updated 2 months ago
- ☆40Updated 3 years ago
- Formalization of the Dependent Object Types (DOT) calculus☆64Updated 2 years ago
- Algebraic proof discovery in Agda☆32Updated 3 years ago
- A work-in-progress core language for Agda, in Agda☆44Updated 3 months ago
- Anders: Cubical Type Checker☆22Updated last year
- Fast equality saturation in Haskell☆82Updated 9 months ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 8 months ago
- Benchmarking various normalization algorithms for the lambda calculus☆44Updated 2 years ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated last year
- Lambda normalization and conversion checking benchmarks for various implementations☆54Updated 3 years ago
- an optimizing curry compiler☆12Updated 2 years ago
- Dependent Object Types (DOT), bottom up☆84Updated 3 years ago
- Accompanying materials for "A Core Calculus for Documents"☆31Updated last year
- A tutorial on how Agda infers things☆41Updated 4 years ago
- A summary of my activities during the past four years☆28Updated 4 months ago