cbenzmueller / LogiKEyView external linksLinks
LogiKEy Workbench: Flexible, Pluralistic Foundations for Legal and Ethical Reasoning, Metaphysics and Maths
☆18Updated this week
Alternatives and similar repositories for LogiKEy
Users that are interested in LogiKEy are comparing it to the libraries listed below
Sorting:
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- ☆13Jul 24, 2021Updated 4 years ago
- Lean 3 web editor☆13Oct 25, 2023Updated 2 years ago
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 4 years ago
- Experiments with some ways of automating reasoning in lean 4☆17Apr 20, 2024Updated last year
- A program logic for concurrent randomized programs☆13Nov 9, 2018Updated 7 years ago
- ☆16Jan 4, 2021Updated 5 years ago
- Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic☆45May 14, 2016Updated 9 years ago
- Embedding of The Theory of Abstract Objects in Isabelle/HOL☆26Dec 1, 2025Updated 2 months ago
- Hoare Type Theory☆84Jun 12, 2025Updated 8 months ago
- ☆12Sep 24, 2025Updated 4 months ago
- A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.☆32Updated this week
- Port of Peter Meyers Timewave Zero to JS☆16Jun 13, 2012Updated 13 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- ☆14Jan 11, 2021Updated 5 years ago
- CS 294-144 Blockchain, Cryptoeconomics, and the Future of Technology, Business and Law (Spring 2018)☆10Apr 25, 2018Updated 7 years ago
- The code of AAAI20 paper "Efficient Inference of Optimal Decision Trees"☆10Jun 26, 2020Updated 5 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 10 months ago
- Aggressive MCTS chess engine.☆14Updated this week
- Metamath logic game☆10Apr 16, 2025Updated 9 months ago
- Manager for remote ~/.ssh/authorized_keys☆13Mar 20, 2013Updated 12 years ago
- A portable linker for multiple file formats.☆13Aug 28, 2023Updated 2 years ago
- A color scheme inspired by the colors of rainy days☆13Jul 9, 2025Updated 7 months ago
- A source-based Linux distribution with an unwavering adherence to the UNIX philosophy☆10Oct 28, 2022Updated 3 years ago
- ☆10Aug 6, 2025Updated 6 months ago
- ☆10Jun 10, 2022Updated 3 years ago
- guarded interaction trees☆10Jul 4, 2025Updated 7 months ago
- 🧊 TeX-подібна система верстки наукових праць☆20Mar 14, 2025Updated 11 months ago
- Tool and library for generating X.509 certificates and certificate requests (mirror)☆16Oct 13, 2021Updated 4 years ago
- Add global illumination to rio☆10Nov 14, 2024Updated last year
- Explanation Ontology Resource website☆12Jun 8, 2024Updated last year
- Simple & compliant implementation of common UNIX userspace utilities☆10Oct 23, 2024Updated last year
- Simplified shell reimplementation of containers — see also https://github.com/arachsys/containers☆13Jan 25, 2023Updated 3 years ago
- We use an adversarial expert based online learning algorithm to learn the optimal parameters required to maximise wealth trading zero-cos…☆10Apr 8, 2020Updated 5 years ago
- Stripped down versions of several archlinux packages, former name llvm-libs-debloated. [Maintainer=@Samueru-sama]☆14Feb 4, 2026Updated last week
- playing with gpt4☆14Mar 17, 2023Updated 2 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- ☆11Sep 1, 2020Updated 5 years ago