☆15Apr 16, 2021Updated 4 years ago
Alternatives and similar repositories for matching-logic-prover
Users that are interested in matching-logic-prover are comparing it to the libraries listed below
Sorting:
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Jan 28, 2018Updated 8 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- Category theory in Coq, by Jason Gross☆16Jan 29, 2015Updated 11 years ago
- ☆11Sep 7, 2025Updated 5 months ago
- Formal semantics of LLVM IR in K☆45Jun 25, 2015Updated 10 years ago
- Luck -- A Language for Property-Based Generators☆36Feb 28, 2025Updated last year
- Reflection library for Coq☆12Sep 26, 2019Updated 6 years ago
- Haskell's Core in K.☆20Jun 21, 2017Updated 8 years ago
- A framework for extensible, reflective decision procedures.☆19Nov 25, 2019Updated 6 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- ☆22Oct 20, 2025Updated 4 months ago
- Formal semantics of LLVM IR in K☆47Jun 13, 2018Updated 7 years ago
- ☆21Mar 15, 2016Updated 9 years ago
- A LaTeX package for proof carrying papers☆24Dec 8, 2016Updated 9 years ago
- Process Orchestration Framework: A camunda 7 fork☆21Feb 23, 2026Updated last week
- System F in coq.☆19Jan 27, 2015Updated 11 years ago
- Visual Basic for Applications (VBA) backend for Idris☆25May 9, 2017Updated 8 years ago
- Distributed Data Structures in Coq☆49Oct 7, 2013Updated 12 years ago
- Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]☆69Sep 17, 2024Updated last year
- Coq proofs for the paper "Calculating Correct Compilers"☆31Dec 11, 2023Updated 2 years ago
- Formal topology (and some probability) in Coq☆31Nov 30, 2018Updated 7 years ago
- ☆23Dec 30, 2025Updated 2 months ago
- SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gath…☆23Jun 14, 2025Updated 8 months ago
- Fun plugin to play with the Gallina AST.☆39Oct 3, 2019Updated 6 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Mar 11, 2015Updated 10 years ago
- Real number computation software☆129Aug 16, 2022Updated 3 years ago
- ☆13Updated this week
- System POSIX bindings for Idris.☆36Jan 5, 2019Updated 7 years ago
- A Grand Sumo prediction game☆10Updated this week
- ☆12Aug 24, 2014Updated 11 years ago
- ExportAll.jl: Exports all symbols of a module. Use at your own risk☆12Feb 18, 2020Updated 6 years ago
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- New generation of State Chart Autocoder written completely in Python☆12Feb 11, 2026Updated 2 weeks ago
- VERified asSembler for cryptographic primitives☆12Jul 15, 2023Updated 2 years ago
- Small tagger app for Fedora Community☆15Oct 29, 2018Updated 7 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- https://icml.cc/virtual/2023/poster/24354☆10Aug 15, 2023Updated 2 years ago