An experiment to see what interpretation into (pre)sheaves categories look like

High-performance wait-free memory reclamation for wait-free data structures (ASMR). Bounded memory usage, predictable latency.

HelixDB is an open-source graph-vector database built from scratch in Rust.

A verifier for automated and interactive proofs about transition systems.

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

Chaotic mess of purely functional hacks

Chisel: A Modern Hardware Design Language

Some blogish stuff

Safe direct-style streaming, concurrency and resiliency for Scala on the JVM

A Git-compatible VCS that is both simple and powerful

Terminal-based presentations using Pandoc

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

perfect programming language

Mockito for golang

HTTP routing and request-handling library for Rust that focuses on ergonomics and modularity

A fast static site generator in a single binary with everything built-in. https://www.getzola.org

Yet another JSON library for Scala

Build fast web applications with Rust.

Tricks you wish the Coq manual told you [maintainer=@tchajed]