WASP was superseded by: https://github.com/OCamlPro/owi
☆16Aug 28, 2024Updated last year
Alternatives and similar repositories for wasp
Users that are interested in wasp are comparing it to the libraries listed below
Sorting:
- Mechanized baselines for various type system features☆18Updated this week
- An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.☆19Sep 5, 2014Updated 11 years ago
- Materials for OPLSS 2021☆11Jun 1, 2021Updated 4 years ago
- being an implementation of the calculus of constructions☆17Mar 9, 2023Updated 2 years ago
- ☆13Oct 22, 2020Updated 5 years ago
- Rhyme is an Expressive Data-Centric Query Language☆30Updated this week
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- exploration of reflective architectures in Scheme☆21May 20, 2022Updated 3 years ago
- ☆16Jan 31, 2026Updated last month
- A native symbolic execution engine for WebAssembly☆49Jul 6, 2024Updated last year
- ☆19Jul 27, 2024Updated last year
- Programming Language Foundations in Lean☆48Jul 22, 2025Updated 7 months ago
- An SMT solver frontend for OCaml☆68Updated this week
- JVM Abstracting Abstract Machine☆25Jan 29, 2019Updated 7 years ago
- Abstract interpreter for real-world application programs☆32May 25, 2013Updated 12 years ago
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆28Sep 16, 2022Updated 3 years ago
- An abstract-interpretation based static analyzer written in Scala.☆33Mar 23, 2022Updated 3 years ago
- Building A Correct-By-Construction Proof Checkers For Type Theories☆31Jan 15, 2026Updated last month
- an implementation of Observational Type Theory (OTT) and more☆31Oct 15, 2022Updated 3 years ago
- Prolog-Style Meta-Interpreters in miniKanren☆33Mar 9, 2025Updated 11 months ago
- PC-miner tool for program chairs☆29Dec 18, 2025Updated 2 months ago
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆35Updated this week
- Code for "Staged Generic Programming" (ICFP 2017)☆28Sep 2, 2023Updated 2 years ago
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆33Dec 21, 2018Updated 7 years ago
- Abstracting Definitional Interpreters☆74Nov 25, 2017Updated 8 years ago
- PPLite: convex polyhedra library for Abstract Interpretation☆30Jan 22, 2026Updated last month
- CLP(SMT) on top of miniKanren☆39Feb 26, 2022Updated 4 years ago
- (NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validat…☆33Jun 22, 2022Updated 3 years ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29May 26, 2021Updated 4 years ago
- A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code☆31Aug 16, 2024Updated last year
- prototyping logic programming in Scala☆42Mar 25, 2022Updated 3 years ago
- generative programming & verification☆34Jun 19, 2025Updated 8 months ago
- (Abstract) Abstract Machine Experiments using Scala☆36Jan 15, 2021Updated 5 years ago
- My personal site.☆10Feb 23, 2026Updated last week
- R package for the United Nations World Population Prospects 2024☆18Jun 24, 2025Updated 8 months ago
- bayesPop R package☆11Feb 23, 2026Updated last week
- Constructive Galois connections☆36Mar 26, 2018Updated 7 years ago
- Notes and handouts from OPLSS 2019☆35Jun 28, 2019Updated 6 years ago