Static security for database-backed Haskell applications using Liquid Haskell
☆18May 29, 2024Updated last year
Alternatives and similar repositories for storm
Users that are interested in storm are comparing it to the libraries listed below
Sorting:
- For supporting template-based programming☆23Jun 21, 2020Updated 5 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Aug 1, 2024Updated last year
- For hosting ATS3 and developing CodeDepot☆18Feb 6, 2026Updated 3 weeks ago
- ☆12Dec 9, 2022Updated 3 years ago
- Practical type inference for arbitrary-rank types☆11May 25, 2019Updated 6 years ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- The implementation of an SMTLib dialect for xDSL☆17Updated this week
- A command-line parser for Standard ML☆21Dec 29, 2025Updated 2 months ago
- ☆14Nov 4, 2025Updated 3 months ago
- ☆13Nov 23, 2019Updated 6 years ago
- OCaml implementation of DSub, a ML like language with subtyping and path dependent types.☆13Apr 18, 2017Updated 8 years ago
- UCI-compatible chess engine in OCaml.☆14Apr 20, 2025Updated 10 months ago
- ☆21Apr 15, 2018Updated 7 years ago
- Dealing with Flags and Options☆13Sep 10, 2021Updated 4 years ago
- Type equality constraints☆16Apr 27, 2022Updated 3 years ago
- Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)☆21May 21, 2025Updated 9 months ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated 9 months ago
- Small random demonstrations of code☆12Nov 19, 2019Updated 6 years ago
- 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
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated last year
- ☆17Oct 16, 2018Updated 7 years ago
- A simple BDD library for OCaml☆13May 20, 2025Updated 9 months ago
- IO using sized types and copatterns☆36Apr 14, 2021Updated 4 years ago
- Matita (proof assistant) with embedded elpi☆15Jan 30, 2018Updated 8 years ago
- Staged Streams and other stuff☆19Jul 10, 2022Updated 3 years ago
- Black-box optimizer submitted to BBO challenge at NeurIPS 2020☆14Dec 10, 2020Updated 5 years ago
- ☆17Dec 8, 2023Updated 2 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Jun 13, 2024Updated last year
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆24Sep 7, 2025Updated 5 months ago
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 6 years ago
- OCaml backend for Idris2☆20Oct 12, 2020Updated 5 years ago
- Formal Semantics for Why3☆20Sep 28, 2025Updated 5 months ago
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- Public reference documents for the SMT-LIB standard☆20Feb 2, 2026Updated 3 weeks ago
- A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.☆15Feb 26, 2024Updated 2 years ago
- A low level Haskell library to connect to postgres☆25Sep 15, 2022Updated 3 years ago
- ☆44Jan 15, 2026Updated last month
- ☆37Oct 25, 2021Updated 4 years ago
- Constructive Galois connections☆36Mar 26, 2018Updated 7 years ago