CatarinaGamboa / liquidjavaLinks
☆41Updated last week
Alternatives and similar repositories for liquidjava
Users that are interested in liquidjava are comparing it to the libraries listed below
Sorting:
- a throwaway implementation of normalization by evaluation☆13Updated 2 years ago
- A tutorial on how Agda infers things☆58Updated last week
- Demo for dependent types + runtime code generation☆69Updated 5 months ago
- A tutorial about how to apply property-based testing to stateful systems.☆78Updated 2 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- Source code & exercises in Arend's documentation☆21Updated 3 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆73Updated 7 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…☆36Updated last week
- A toy dependent typed language.☆30Updated last week
- A summary of my activities during the past four years☆28Updated 9 months ago
- ☆35Updated 9 months ago
- Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)☆60Updated this week
- Benchmarks for capture-avoiding substitution☆119Updated last month
- Paper and talk☆54Updated 2 years ago
- ☆48Updated last month
- Haskell embedding of PlusCal☆61Updated 3 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29Updated 4 years ago
- being an operating system for typechecking processes☆128Updated 2 years ago
- Lambda normalization and conversion checking benchmarks for various implementations☆59Updated 4 years ago
- A cost-aware logical framework, embedded in Agda.☆63Updated this week
- Anders: Cubical Type Checker☆23Updated last year
- Eventually a practical 2-level TT-based compiler☆27Updated 3 months ago
- ☆35Updated last year
- A Cheat Sheet for Coq Developers who want to try LeanProver☆17Updated last year
- SPLV20 course notes☆112Updated 2 years ago
- CS410 "Advanced Functional Programming"☆25Updated 2 months ago
- The Iowa Agda Library☆48Updated last month
- ICFP 2020 papers. Crowd-sourced☆91Updated 4 years ago
- Proof assistant based on first-order logic and set theory☆52Updated last week
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆83Updated 9 years ago