Stars
HelixDB is a powerful, open-source, graph-vector database built in Rust for intelligent data storage for RAG and AI.
A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development snapshots. Submit issues and PRs here.
Simple compiled language similar to B. With target to eZ80(Agon Light 2)
Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need
A static, type inferred and embeddable language written in Rust.
Extensions to Koka's std libraries (definitely unofficial, likely to be split into other packages)
An audio server, programming language, and IDE for sound synthesis and algorithmic composition.
Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4
Chisel: A Modern Hardware Design Language
Safe direct-style concurrency and resiliency for Scala on the JVM
A Git-compatible VCS that is both simple and powerful
A lightning-fast search engine API bringing AI-powered hybrid search to your sites and applications.
Open Source alternative to Algolia + Pinecone and an Easier-to-Use alternative to ElasticSearch ⚡ 🔍 ✨ Fast, typo tolerant, in-memory fuzzy Search Engine for building delightful search experiences
Apache Iggy: Hyper-Efficient Message Streaming at Laser Speed
Ergonomic and modular web framework built with Tokio, Tower, and Hyper
A fast static site generator in a single binary with everything built-in. https://www.getzola.org
Tricks you wish the Coq manual told you [maintainer=@tchajed]
Agda is a dependently typed programming language / interactive theorem prover.
A list of works and resources about double category theory, with a particular focus on applications.