☆92Oct 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆12Mar 23, 2026Updated 3 weeks ago
- Automated Programming Framework☆15May 11, 2020Updated 5 years ago
- An OCaml library implementing unifiable abstract binding trees (UABTs)☆28Nov 11, 2023Updated 2 years ago
- Logic and Mechanized Reasoning☆115Jan 11, 2026Updated 3 months ago
- ☆14Dec 9, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- TPTP python library and benchmarking service☆13Oct 2, 2019Updated 6 years ago
- The Llunatic Mapping and Cleaning Chase Engine☆38Jan 12, 2024Updated 2 years ago
- Benchmark repository of polyglot effect handler examples☆35Aug 21, 2025Updated 7 months ago
- Clustering notions for the knowledge LaTeX package☆20Jan 27, 2026Updated 2 months ago
- Improving the tail latency of in-memory transactional system.☆10Mar 27, 2022Updated 4 years ago
- The Termination Problem Database☆29Aug 20, 2025Updated 7 months ago
- SQL for Kubernetes resources☆38Sep 17, 2025Updated 7 months ago
- Material for PyData NYC Tutorial on Large Scale Timeseries Forecasting☆28Feb 14, 2023Updated 3 years ago
- End-to-end SQL fuzz testing for DataFusion using SQLancer☆12Feb 9, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 🚀A fast, stable and embedded k-v database in pure Golang, supports string, list, hash, set, sorted set. 一个 Go 语言实现的快速、稳定、内嵌的 k-v 数据库。☆10Jun 23, 2021Updated 4 years ago
- The Z3-Noodler String Solver☆25Apr 9, 2026Updated last week
- ☆10Nov 3, 2016Updated 9 years ago
- The new intelligent grounder of the logic-based Artificial Intelligence system DLV☆24Dec 7, 2023Updated 2 years ago
- A small helper for getting only the latest result of an asynchronous operation you perform multiple times in a row.☆30Dec 15, 2020Updated 5 years ago
- Explains the conclusions of a logic program.☆10May 25, 2023Updated 2 years ago
- Copy of the CCHR Constraint Handling Rules implementation in C☆20Nov 18, 2021Updated 4 years ago
- The Juice package for circuits in artificial intelligence, both logic and probabilistic☆12Mar 8, 2022Updated 4 years ago
- Code for reproducing work of ICML 2019 paper: Memory-Optimal Direct Convolutions for Maximizing Classification Accuracy in Embedded Appli…☆12Jun 8, 2019Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Jul 18, 2022Updated 3 years ago
- Toy distributed PostgreSQL by implementing SQL over KV☆11Jan 14, 2026Updated 3 months ago
- Backtrace.io's resilient log record framing format☆39Feb 5, 2022Updated 4 years ago
- Resources for my Homotopy Type Theory course at OPLSS 2023☆13Jul 11, 2023Updated 2 years ago
- ☆24Feb 17, 2026Updated 2 months ago
- The Flix Programming Book☆24Mar 31, 2026Updated 2 weeks ago
- Experimental port of ADEV to Julia☆11Nov 12, 2023Updated 2 years ago
- one billion row challenge☆44Jan 2, 2024Updated 2 years ago
- ☆20Updated this week
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆18Jan 12, 2026Updated 3 months ago
- postcard-rpc, over rtt, with probe-rs☆15Jan 19, 2025Updated last year
- A new query hardness measure for graph-based ANN indexes. Build unbiased workloads with this hardness to see the actual performance of yo…☆22Feb 7, 2025Updated last year
- An OWL vocabulary to allow the serialization and exchanging of OntoUML models in conformance with the OntoUML Metamodel.☆13Aug 22, 2023Updated 2 years ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19May 4, 2020Updated 5 years ago
- HAMSI (Hessian Approximated Multiple Subsets Iteration) is a parallel incremental optimization algorithm☆13Feb 10, 2020Updated 6 years ago
- Source code for "A Critical Re-evaluation of Neural Methods for Entity Alignment"☆16Oct 4, 2022Updated 3 years ago