pdm-book / communityView external linksLinks
☆89Oct 20, 2022Updated 3 years ago
Alternatives and similar repositories for community
Users that are interested in community are comparing it to the libraries listed below
Sorting:
- ☆12Mar 4, 2025Updated 11 months ago
- ☆11Dec 9, 2022Updated 3 years ago
- Automated Programming Framework☆15May 11, 2020Updated 5 years ago
- Metadb is a system for synchronizing databases for analytics applications.☆11Jan 29, 2026Updated 2 weeks ago
- Bindings to libclingo for the lean4 prover and programming language!☆21Nov 27, 2024Updated last year
- The Flix Programming Book☆21Jan 25, 2026Updated 2 weeks ago
- Copy of the CCHR Constraint Handling Rules implementation in C☆20Nov 18, 2021Updated 4 years ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Dec 7, 2023Updated 2 years ago
- An OCaml library implementing unifiable abstract binding trees (UABTs)☆28Nov 11, 2023Updated 2 years ago
- Language bindings for Maude☆24Nov 2, 2025Updated 3 months ago
- Python scripts to help edit and normalize your library, archives, or institutional repository metadata☆29Jan 13, 2026Updated last month
- The Termination Problem Database☆29Aug 20, 2025Updated 5 months ago
- Some AI planners that work with PDDL, file examples and integration in ROSPlan.☆24Apr 27, 2018Updated 7 years ago
- A (parametrized) Rust SAT solver originally based on MiniSat☆32Jan 20, 2025Updated last year
- Logic and Mechanized Reasoning☆115Jan 11, 2026Updated last month
- ☆24Jan 8, 2026Updated last month
- Named-Entity Recognition extension for OpenRefine☆30Nov 29, 2022Updated 3 years ago
- Partial Commutative Monoids☆32Jun 9, 2025Updated 8 months ago
- The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing…☆47Oct 12, 2021Updated 4 years ago
- Solves systems of polynomial equations.☆30Sep 12, 2025Updated 5 months ago
- Software transactional memory system developed at Wyatt Technology☆30Sep 30, 2019Updated 6 years ago
- CLP(SMT) on top of miniKanren☆39Feb 26, 2022Updated 3 years ago
- Implementing Halide's TRS inside of EGG☆34Jan 20, 2023Updated 3 years ago
- OCaml WebAssembly runtime powered by Wasmtime☆35May 2, 2022Updated 3 years ago
- You can encode and decode base85, ascii85, base64, base32, and base16 with this tool.☆11Oct 4, 2023Updated 2 years ago
- tool for postgres to automatically build rest services and web forms☆13Feb 3, 2026Updated last week
- A daily guessing game about Melbourne's train stations☆12Feb 7, 2026Updated last week
- Separation Logic Proofs in Lean☆49Jan 28, 2026Updated 2 weeks ago
- A basic image that has a whole lot of things installed and configured to make debugging ECS, Fargate, and other containers easier.☆10May 28, 2024Updated last year
- Logic for story telling!☆36Mar 15, 2018Updated 7 years ago
- Web-based nap calculator - Given preferred wake windows and desired bedtime, generates suggestions on when to cap a nap and when to start…☆10Apr 18, 2021Updated 4 years ago
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 5 months ago
- T2 Temporal Prover☆96Feb 12, 2018Updated 8 years ago
- being some experiments, working towards some equipment I wish I had☆37Feb 3, 2016Updated 10 years ago
- Resource-AWare Feldspar☆38May 27, 2022Updated 3 years ago
- A reasoning system for large knowledge bases.☆33Jan 5, 2025Updated last year
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆86Jul 13, 2023Updated 2 years ago
- Kodkod solver for relational logic☆84Jul 4, 2023Updated 2 years ago
- ☆15Dec 29, 2025Updated last month