CatarinaGamboa / liquidjava
☆37Updated last week
Alternatives and similar repositories for liquidjava:
Users that are interested in liquidjava are comparing it to the libraries listed below
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- a throwaway implementation of normalization by evaluation☆13Updated 2 years ago
- Demo for dependent types + runtime code generation☆69Updated 2 months ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆72Updated 6 years ago
- Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf☆30Updated last year
- ☆34Updated last year
- A toy dependent typed language.☆28Updated this week
- Haskell embedding of PlusCal☆61Updated 2 years ago
- Alloy with browser-based visualizations☆29Updated 3 years ago
- A bidirectional type checker☆63Updated 7 years ago
- Duo - A research language exploring duality in programming language design☆57Updated last year
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated 2 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆28Updated 3 years ago
- Benchmarks for capture-avoiding substitution☆113Updated last week
- System F-omega normalization by hereditary substitution in Agda☆58Updated 5 years ago
- Unification and type inference algorithms☆125Updated 10 years ago
- Course on Metaprogramming☆55Updated 3 months ago
- ☆32Updated 6 months ago
- Fast equality saturation in Haskell☆84Updated 2 months ago
- Slog 1.0☆41Updated 10 months ago
- MetaML and MetaOCaml bibliography☆89Updated 4 months ago
- A tutorial about how to apply property-based testing to stateful systems.☆78Updated 2 years ago
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 10 months ago
- ICFP 2020 papers. Crowd-sourced☆91Updated 4 years ago
- Normalization by Evaluation for Martin-Löf Type Theory☆124Updated 10 months ago
- Prolog, Datalog, languages, resources, and beyond!☆31Updated 5 months ago
- Efficient effect handlers based on Evidence Passing Semantics.☆28Updated 4 years ago
- ☆46Updated 2 months ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated 2 years ago
- Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques☆44Updated 2 months ago