LogiKEy Workbench: Flexible, Pluralistic Foundations for Legal and Ethical Reasoning, Metaphysics and Maths
☆18Feb 10, 2026Updated 3 weeks ago
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
- Lean 3 web editor☆13Oct 25, 2023Updated 2 years ago
- ☆13Jul 24, 2021Updated 4 years ago
- Experiments with some ways of automating reasoning in lean 4☆17Apr 20, 2024Updated last year
- Makes rustc's exhaustiveness checker solve SAT problems☆16Jul 8, 2021Updated 4 years ago
- A program logic for concurrent randomized programs☆14Nov 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☆27Dec 1, 2025Updated 3 months ago
- Hoare Type Theory☆84Jun 12, 2025Updated 8 months 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
- Example implementation of https://github.com/bmoers/sn-cicd V3☆11Oct 4, 2019Updated 6 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- ☆14Jan 11, 2021Updated 5 years ago
- A systems Lisp that compiles to C. Homoiconic macros, refcounted memory, Hindley-Milner type inference.☆34Feb 25, 2026Updated last week
- Proof-carrying code completions in Dafny☆11Apr 4, 2025Updated 11 months ago
- ☆12Jun 18, 2024Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- This UE4 project contains the Telekinesis Mechanic for Control☆11Jul 26, 2020Updated 5 years ago
- Vorto Project☆10Aug 17, 2023Updated 2 years ago
- A declarative and ergonomic internationalization for Rust using Fluent. Mirror of https://gitlab.archlinux.org/orhun/fluent-i18n☆19Sep 29, 2025Updated 5 months ago
- ☆11Sep 1, 2020Updated 5 years ago
- ☆11Dec 12, 2024Updated last year
- A source-based Linux distribution with an unwavering adherence to the UNIX philosophy☆10Oct 28, 2022Updated 3 years ago
- libudev-compatible interface for devd☆15Nov 18, 2024Updated last year
- set of ELF tools☆12Sep 1, 2015Updated 10 years ago
- A color scheme inspired by the colors of rainy days☆13Jul 9, 2025Updated 7 months ago
- Metamath logic game☆10Apr 16, 2025Updated 10 months ago
- 9P kernel modules☆10Aug 25, 2014Updated 11 years ago
- ☆13Apr 28, 2025Updated 10 months ago
- Arduino SIM5218E GPS Project☆11Mar 8, 2015Updated 10 years ago
- Tool and library for generating X.509 certificates and certificate requests (mirror)☆16Oct 13, 2021Updated 4 years ago
- modal logic library for LEAN theorem prover☆12Aug 20, 2017Updated 8 years ago
- playing with gpt4☆14Mar 17, 2023Updated 2 years ago
- A portable linker for multiple file formats.☆13Aug 28, 2023Updated 2 years ago
- Add global illumination to rio☆10Nov 14, 2024Updated last year
- Linux fork of FreeBSD crunch☆17Jan 30, 2012Updated 14 years ago
- Stripped down versions of several archlinux packages, former name llvm-libs-debloated. [Maintainer=@Samueru-sama]☆14Updated this week