Truth-table generator for classical propositional logic
☆26May 10, 2021Updated 4 years ago
Alternatives and similar repositories for hatt
Users that are interested in hatt are comparing it to the libraries listed below
Sorting:
- Proof checker for propositional logic☆16Jul 7, 2017Updated 8 years ago
- A mini language for logic programming☆23Jun 5, 2020Updated 5 years ago
- formally and easily, describe the semantics.☆13Aug 17, 2020Updated 5 years ago
- HTML5 Gamepad API bindings for js_of_ocaml☆17Jan 7, 2018Updated 8 years ago
- A library for non-deterministically parsing natural language expressions into a structured form.☆18Feb 3, 2023Updated 3 years ago
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 7 years ago
- A verified Implementation of a mini prolog☆17Nov 27, 2022Updated 3 years ago
- Alternative implementation of the logical framework Dedukti in Rust☆23Apr 10, 2025Updated 10 months ago
- a version of the 2048 game for Coq☆22Jan 30, 2026Updated last month
- Reflective PHOAS rewriting/pattern-matching-compilation framework for simply-typed equalities and let-lifting☆26Feb 17, 2026Updated 2 weeks ago
- Tiny verified SAT-solver☆30Jan 7, 2022Updated 4 years ago
- Algebraic proof discovery in Agda☆35Dec 6, 2021Updated 4 years ago
- A truly tiny monadic parsing library☆28Jan 14, 2021Updated 5 years ago
- This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the pack…☆28Feb 28, 2019Updated 7 years ago
- Kleene algebra modulo theories☆27Nov 21, 2022Updated 3 years ago
- Dice Language Support for VS Code☆10Sep 29, 2020Updated 5 years ago
- Specification of the Cedille Core language☆35Jul 21, 2020Updated 5 years ago
- A Coq to Cedille compiler written in Coq☆34Sep 22, 2020Updated 5 years ago
- Grow procedual art☆37Mar 25, 2025Updated 11 months ago
- mytax is a tool for building custom taxonomies, useful for nucleotide sequence classification☆13Oct 9, 2025Updated 4 months ago
- Shell Integration Library [Haskell]☆54Mar 14, 2025Updated 11 months ago
- Coq library on rewriting theory and termination☆37Jan 27, 2026Updated last month
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆39Feb 13, 2020Updated 6 years ago
- Metamath verifier in Python☆42Jun 7, 2025Updated 8 months ago
- OCaml with typed algebraic effects☆53Oct 12, 2018Updated 7 years ago
- A clean implementation of Parsing with Zippers.☆38Sep 22, 2018Updated 7 years ago
- Sources of the EuroProofNet web site.☆13Updated this week
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 7 years ago
- SIGPLAN website☆13Feb 23, 2026Updated last week
- A simple bar chart view inspired by Pedometer++☆19Apr 11, 2014Updated 11 years ago
- A programming language☆11Jan 7, 2022Updated 4 years ago
- Deployed version of Tableaunoir. Do not modify this repository.☆11Feb 18, 2026Updated last week
- CHIP-8 Emulator written with Python3 and PyGame☆11Jan 6, 2020Updated 6 years ago
- Nehe Tutorials in Clojure using Penumbra☆29Sep 21, 2010Updated 15 years ago
- Library for Classical Coq☆41Jan 20, 2026Updated last month
- Ties the knot on data structures that reference each other by unique keys☆48Aug 2, 2024Updated last year
- SAYEH cpu-memory basic computer☆11Jul 12, 2017Updated 8 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Jan 8, 2017Updated 9 years ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆47Updated this week