LFSC Proof Checker
☆11Sep 14, 2023Updated 2 years ago
Alternatives and similar repositories for LFSC
Users that are interested in LFSC are comparing it to the libraries listed below
Sorting:
- An ocaml implementation of conflict-driven reasoning☆14Jul 13, 2018Updated 7 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Jan 1, 2024Updated 2 years ago
- ☆40Feb 11, 2026Updated 2 weeks ago
- ☆20May 30, 2024Updated last year
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26Feb 8, 2026Updated 3 weeks ago
- Open Source AADL2 Tool Environment☆51Updated this week
- An Agda formalization of System F and the Brown-Palsberg self-interpreter☆26Oct 4, 2020Updated 5 years ago
- TriCera: a model checker for C programs☆26Feb 12, 2026Updated 2 weeks ago
- Best of POPL (BOP) Reading Group Memoirs☆67Jan 27, 2022Updated 4 years ago
- C++ parsing library for simple formats used in logic synthesis and formal verification☆39Jun 28, 2024Updated last year
- ☆12Jun 18, 2024Updated last year
- Lens toolkit for Swift☆10Dec 23, 2018Updated 7 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Synchronous Message Exchange☆11Feb 3, 2026Updated 3 weeks ago
- ☆14Jan 11, 2021Updated 5 years ago
- The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"☆10Jun 26, 2020Updated 5 years ago
- Additional media and software for use with PERQemu☆11Jul 8, 2025Updated 7 months ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 10 months ago
- ☆38Mar 20, 2017Updated 8 years ago
- Practical and Efficient in-TEE Verification of Privacy Compliance☆46Jan 10, 2025Updated last year
- VSCode extension that is designed to help automate writing of Coq proofs.☆124Jun 8, 2025Updated 8 months ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 3 months ago
- Proof-of-Concept of the Frontal Attack☆11Jul 6, 2023Updated 2 years ago
- My attempt to make neovim more rust friendly from an IDE perspective while trying to not do all of the things!☆11Oct 3, 2020Updated 5 years ago
- A simple and portable floating-point interval arithmetic library in OCaml☆10May 31, 2022Updated 3 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- This project is dedicated to reviving Chapter Master and building upon it.☆16Aug 9, 2022Updated 3 years ago
- A "port" of plucid that works on OS X☆12Oct 25, 2014Updated 11 years ago
- Vapourware open world Middle-Earth death simulator☆15Jan 31, 2026Updated last month
- Presentations, Videos, and Sample Source from Austin LLVM Meetups☆11Jul 23, 2020Updated 5 years ago
- Experiments with modal types☆17Oct 20, 2020Updated 5 years ago
- A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.☆19Mar 20, 2021Updated 4 years ago
- bctf2017 challenges☆11Apr 20, 2017Updated 8 years ago
- Bunnymark for Godot Engine☆10Jan 28, 2015Updated 11 years ago
- KevinSaber is a Oculus Rift and Oculus Quest game that is a BeatSaber clone where you strike the boxes as they fly past you in a fierce f…☆14Nov 27, 2025Updated 3 months ago
- C++ library for parsing, creating and manipulating Intel Hex files☆12Aug 5, 2024Updated last year