Tipoca / handbook-of-practical-logic-and-automated-reasoningView external linksLinks
Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"
☆17Oct 23, 2012Updated 13 years ago
Alternatives and similar repositories for handbook-of-practical-logic-and-automated-reasoning
Users that are interested in handbook-of-practical-logic-and-automated-reasoning are comparing it to the libraries listed below
Sorting:
- Fault-tolerant distributed algorithms encoded in a formal language☆14Nov 30, 2020Updated 5 years ago
- A parser based on the ALL(*) algorithm, implemented and verified in Coq.☆13Feb 14, 2023Updated 3 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- A 2-D programming language inspired by Hexagony☆25Updated this week
- Exploring the Klein Quartic's geometry.☆28Dec 12, 2023Updated 2 years ago
- Generation of abstract binding trees☆27Sep 26, 2025Updated 4 months ago
- An automated theorem prover for first order logic.☆30Mar 23, 2017Updated 8 years ago
- A web-based graphical proof assistant for LK and Hoare logic.☆41Jan 10, 2026Updated last month
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated 2 weeks ago
- A non-interactive proof assistant using the Haskell type system☆38Apr 11, 2020Updated 5 years ago
- A classical propositional theorem prover in Haskell, using Wang's Algorithm.☆36Jun 12, 2019Updated 6 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- Sources of the EuroProofNet web site.☆13Updated this week
- A programming language☆11Jan 7, 2022Updated 4 years ago
- An automated theorem prover that uses Büchi automata.☆44Sep 22, 2021Updated 4 years ago
- A modular sat/smt solver with proof output.☆102Jan 8, 2024Updated 2 years ago
- Lightweight, low-config containerized Factorio server with support for interactive and non-interactive commands☆11Jun 21, 2024Updated last year
- An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.☆19Sep 5, 2014Updated 11 years ago
- ☆32Oct 17, 2022Updated 3 years ago
- Doom - reimplemented cleanly, in C++, without all the obscuring optimizations☆12Jan 9, 2015Updated 11 years ago
- Struct-aware fuzzing framework + some fuzzers☆29Jan 28, 2026Updated 2 weeks ago
- The ANTLR 4 Website☆16Aug 3, 2024Updated last year
- HW: a modern, open-source, typeless, turing-incomplete programming language.☆10Jul 17, 2018Updated 7 years ago
- An imperative, statically-typed toy language☆12May 5, 2019Updated 6 years ago
- A Rust macro for quickly unwrapping a refutable pattern.☆12Nov 10, 2023Updated 2 years ago
- Radvylf Should Not Be Allowed To Write Programming Languages☆12Nov 11, 2022Updated 3 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- Kuroshimu is a procedural black box investigation game: guess what happened to 6 persons trapped by a cute journalist dog in an endlessly…☆10May 20, 2025Updated 8 months ago
- A string-based esoteric programming language.☆10Jul 28, 2021Updated 4 years ago
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 2 years ago
- hitchhiker Prolog - an implementation of a novel virtual machine☆12May 6, 2023Updated 2 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- A tiny C compiler based on LLVM and ANTLR4☆10Jan 13, 2019Updated 7 years ago
- John Shutt's "Kernel" language implemented on ABE (C) runtime.☆13Sep 3, 2018Updated 7 years ago
- An interpreter for concatenative combinators (i.e. Combinators as a functional language)☆10Nov 27, 2021Updated 4 years ago
- A collection of freely-licensed js1k entries☆10Feb 29, 2016Updated 9 years ago
- The (very) small kernel of the LaTTe proof assistant☆12Mar 13, 2025Updated 11 months ago
- 🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell☆15Apr 16, 2024Updated last year
- ☆11Mar 3, 2021Updated 4 years ago