☆16Aug 4, 2026Updated 3 months ago
Alternatives and similar repositories for leslie
Users that are interested in leslie are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean playground for programming language modeling tooling.☆15May 20, 2026Updated 5 months ago
- Repository holding releases of our work on the formal verification of x86 binaries.☆18Updated this week
- Collection of Distributed Protocol Verification Problems☆16Apr 27, 2024Updated 2 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆12Jul 15, 2024Updated 2 years ago
- Rust interface for cvc5☆17Oct 13, 2026Updated 3 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Lean4 library for substitution inspired by autosubst☆16Oct 23, 2026Updated 2 weeks ago
- Async simulation framework for Rust☆15Oct 5, 2026Updated last month
- TLA embedding in Verus☆36Oct 28, 2026Updated last week
- Formally Verified X.509 Certificate Validation☆18Nov 19, 2025Updated 11 months ago
- FLOPS: Formalization in the Lean Theorem Prover of the P3109 Standard☆22Jul 28, 2026Updated 3 months ago
- SMTscope automatically analyses and visualises SMT solver execution traces.☆87Dec 10, 2025Updated 10 months ago
- Some programs from Rustan Leino's "Program Proofs", in Why3.☆17Mar 13, 2023Updated 3 years ago
- Discrete Event Simulator for Rust Implementations☆22Feb 17, 2026Updated 8 months ago
- A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.☆21Oct 29, 2026Updated last week
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A new take on facet-reflect☆14Updated this week
- ☆19Dec 21, 2024Updated last year
- ☆19Nov 21, 2019Updated 6 years ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 3 years ago
- 🎄❄️Advent of Code solutions in Haskell 🎅🎁☆10Dec 12, 2025Updated 10 months ago
- An extensible framework for using Kinect 2 in WPF☆10Jun 22, 2022Updated 4 years ago
- The hivemind for AI coding agents — persistent team context recorded once and recalled across agents, machines, and teammates.☆67Updated this week
- Bayesian inference of linear temporal logic (LTL) specifications to explain differences across two sets of traces☆10Nov 19, 2019Updated 6 years ago
- DINAMITE LLVM Pass☆11May 24, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Mac OSX application to control the DNSCrypt Proxy☆12Oct 7, 2017Updated 9 years ago
- ☆12Mar 30, 2021Updated 5 years ago
- ICSE2021 Submission☆13Aug 28, 2022Updated 4 years ago
- The Megalodon interactive theorem prover and proof checker☆15Apr 14, 2024Updated 2 years ago
- Network server programming with OCaml. MOVED TO: https://git.leastfixedpoint.com/tonyg/ocaml-networking/☆11Jan 8, 2012Updated 14 years ago
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Fall 2025☆12Dec 3, 2025Updated 11 months ago
- Place capability graphs, a model for Rust ownership and borrow system.☆13Updated this week
- A light-weight library for manual distributed system tracing☆11Feb 2, 2022Updated 4 years ago
- Freiscale Semicomposer -- music composition without scales☆11Apr 3, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Formally Verified Float Implementation with lean4☆25Sep 12, 2026Updated last month
- OCaml library for partially ordered maps☆15Jun 23, 2026Updated 4 months ago
- A replicated key value store that achieves eventual consistency through the use of conflict-free replicated data types (CRDTs). Individua…☆12Mar 2, 2021Updated 5 years ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆44Feb 14, 2026Updated 8 months ago
- A vector clock implementation for node.js☆14Apr 6, 2014Updated 12 years ago
- ☆22Jan 31, 2026Updated 9 months ago
- Tiga: Accelerating Geo-Distributed Transactions with Synchronized Clocks☆12Dec 2, 2025Updated 11 months ago