☆90Oct 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:
- ☆13Dec 9, 2022Updated 3 years ago
- ☆12Mar 4, 2025Updated last year
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- Metadb is a system for synchronizing databases for analytics applications.☆11Feb 23, 2026Updated 2 weeks ago
- RotoHash: Hashing for High-Bandwidth Data☆20Apr 11, 2025Updated 10 months ago
- The Llunatic Mapping and Cleaning Chase Engine☆37Jan 12, 2024Updated 2 years ago
- The Z3-Noodler String Solver☆25Updated this week
- ☆15Dec 1, 2017Updated 8 years ago
- The Flix Programming Book☆22Mar 2, 2026Updated last week
- Bindings to libclingo for the lean4 prover and programming language!☆21Nov 27, 2024Updated last year
- Copy of the CCHR Constraint Handling Rules implementation in C☆20Nov 18, 2021Updated 4 years ago
- An OCaml library implementing unifiable abstract binding trees (UABTs)☆28Nov 11, 2023Updated 2 years ago
- Modelizer - is a framework for learning models from BlackBox systems using Input-Output examples☆22Jul 17, 2025Updated 7 months ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆23Dec 7, 2023Updated 2 years ago
- Language bindings for Maude☆25Nov 2, 2025Updated 4 months ago
- The Termination Problem Database☆29Aug 20, 2025Updated 6 months ago
- Logic and Mechanized Reasoning☆115Jan 11, 2026Updated last month
- ☆24Feb 17, 2026Updated 2 weeks 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
- Lean 4 port of Iris, a higher-order concurrent separation logic framework☆155Feb 24, 2026Updated last week
- Partial Commutative Monoids☆32Feb 18, 2026Updated 2 weeks 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
- This is a repository for the NYU Tisch / Game Center courses GAME DEVELOPMENT: TEAM STUDIO (GAMES-UT 122-001) and GAME DEVELOPMENT STUDIO…☆11Apr 28, 2015Updated 10 years ago
- The main repository integrating the LaTeX beamer-based slides☆30Apr 10, 2025Updated 10 months ago
- Implementing Halide's TRS inside of EGG☆35Jan 20, 2023Updated 3 years ago
- OCaml WebAssembly runtime powered by Wasmtime☆35May 2, 2022Updated 3 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
- When searching GitHub users in "Github Profile Finder," we can use their GitHub username to acquire information about their profiles and …☆13Aug 25, 2023Updated 2 years ago
- EncryCore node reference implementation☆15Apr 2, 2020Updated 5 years ago
- Separation Logic Proofs in Lean☆49Jan 28, 2026Updated last month
- Logic for story telling!☆36Mar 15, 2018Updated 7 years ago
- tool for postgres to automatically build rest services and web forms☆13Updated this week
- VATA Tree Automata Library☆34Feb 3, 2026Updated last month
- The Shine compiler for the RISE language☆83Feb 20, 2026Updated 2 weeks ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Jun 13, 2024Updated last year
- Library for deep embedding of DSLs based on Scala macros.☆75Jan 12, 2016Updated 10 years ago
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 6 months ago
- T2 Temporal Prover☆96Feb 12, 2018Updated 8 years ago