Stars
The opened source code of the Picat compiler, interpreter, and library.
The Mercury logic programming system.
Chu-Liu-Edmonds maximum spanning algorithm from TurboParser for use within Python
A high performance Python graph library implemented in Rust.
A SQL extension for declarative data visualisation based on the Grammar of Graphics.
cplint is a suite of programs for reasoning with probabilistic logic programs
A vector index built on TurboQuant, written in Rust with Python bindings
Fyn is a fork of uv for fast Python package management, dependency resolution, virtual environments, and pyproject.toml workflows.
Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier
A JIT Compiler and Runtime for Java in Common Lisp
PyPika is a python SQL query builder that exposes the full richness of the SQL language using a syntax that reflects the resulting query. PyPika excels at all sorts of SQL queries but is especially…
Fast, Flexible and Portable Structured Generation
A turndown.js inspired HTML to Markdown converter for Rust
PaCMAP: Large-scale Dimension Reduction Technique Preserving Both Global and Local Structure
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
Handy python wrapper around Potassco's Clingo ASP solver.
A minimal, secure Python interpreter written in Rust for use by AI
Terraform-style, declarative Postgres schema migration. Agent friendly.
Fast Open-Source Search & Clustering engine × for Vectors & Arbitrary Objects × in C++, C, Python, JavaScript, Rust, Java, Objective-C, Swift, C#, GoLang, and Wolfram 🔍
A curated catalogue of awesome agentic AI patterns
Dead-simple dependency injection framework for Python.