CatarinaGamboa / liquidjavaLinks
☆38Updated 2 months ago
Alternatives and similar repositories for liquidjava
Users that are interested in liquidjava are comparing it to the libraries listed below
Sorting:
- Accompanying materials for "A Core Calculus for Documents"☆33Updated last year
- Demo for dependent types + runtime code generation☆69Updated 4 months ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- ☆51Updated 4 months ago
- Programming Language Foundations in Lean☆39Updated 2 months ago
- Source code & exercises in Arend's documentation☆21Updated 3 years ago
- Anders: Cubical Type Checker☆24Updated last year
- A tutorial about how to apply property-based testing to stateful systems.☆78Updated 2 years ago
- Slog 1.0☆43Updated last year
- A toy dependent typed language.☆29Updated last week
- Denotational Semantics of the Untyped Lambda Calculus☆17Updated 4 months ago
- a throwaway implementation of normalization by evaluation☆13Updated 2 years ago
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆45Updated 3 months ago
- A cost-aware logical framework, embedded in Agda.☆63Updated this week
- ☆33Updated 8 months ago
- Eventually a practical 2-level TT-based compiler☆27Updated 3 months 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…☆36Updated 3 weeks ago
- Adventures in being functional.☆9Updated 3 years ago
- Imagine a Dependently Typed Python☆11Updated 2 months ago
- ☆35Updated last year
- ☆44Updated 2 years ago
- A bidirectional type checker☆63Updated 8 years ago
- ☆10Updated 6 years ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated 2 years ago
- Efficient effect handlers based on Evidence Passing Semantics.☆30Updated 4 years ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆36Updated 3 weeks ago
- A tutorial on how Agda infers things☆43Updated 4 years ago
- Duo - A research language exploring duality in programming language design☆57Updated 2 years ago
- A Cheat Sheet for Coq Developers who want to try LeanProver☆17Updated last year
- A PCRE2 compatible regular expression engine written in Lean 4.☆14Updated 2 weeks ago