ngernest / pbt-bibliographyLinks
A collaborative bibliography of papers related to property-based testing
☆15Updated this week
Alternatives and similar repositories for pbt-bibliography
Users that are interested in pbt-bibliography are comparing it to the libraries listed below
Sorting:
- ☆53Updated last week
- A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.☆45Updated 7 months ago
- being an operating system for typechecking processes☆130Updated last week
- Duo - A research language exploring duality in programming language design☆57Updated 2 years ago
- ☆11Updated 5 months ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆143Updated 6 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Updated 4 years ago
- a proof-of-concept programming language based on call-by-push-value☆56Updated last month
- Demo for dependent types + runtime code generation☆72Updated 8 months ago
- Liquid Types implementation for Rust☆29Updated 3 years ago
- PL conference deadline countdowns☆62Updated last month
- Parser Combinator Library for Lean 4☆58Updated this week
- A mechanisation of Wasm in Coq(Rocq)☆109Updated 2 months ago
- A menagerie of cute implementations of modern typechecking algorithms☆332Updated last week
- ☆89Updated 4 years ago
- bollu learns implementation of dependent typing☆32Updated 2 years ago
- Build system☆128Updated 2 years ago
- We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation …☆56Updated 3 months ago
- Alternative algorithm for algebraic subtyping.☆170Updated 3 weeks ago
- The Steel separation logic library for F*☆36Updated last week
- 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend…☆150Updated 3 months ago
- A deterministic parser with fused lexing☆74Updated 2 years ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆150Updated 3 weeks ago
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆133Updated 5 years ago
- A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…☆148Updated last week
- This aims to be the most pretentious implementation of stlc in existence☆65Updated 3 years ago
- ☆39Updated 2 months ago
- A pedagogic implementation of abstract bidirectional elaboration for dependent type theory.☆83Updated 4 years ago
- Benchmarks for capture-avoiding substitution☆120Updated 4 months ago
- ☆37Updated 3 years ago