A small embeddable Datalog engine in Zig ⚡

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Mycelium uses Maestro state machines and Malli contracts to define "The Law of the Graph," providing a high-integrity environment where humans architect and AI agents implement.

Inconvo – build reliable chat-with-data for customer-facing applications

Structured, temporal memory for AI agents.

The Open Source control plane for self-managed, BYOC, and on-prem deployments. Everything you need to distribute applications to self-managed customers out of the box.

A free, open source, and extensible speech-to-text application that works completely offline.

Money as data, done right.

🚀 NEO Emacs — A GPU-powered Emacs written in Rust with a modern display engine. Inline 4K images/4K videos/WPEWebKit using GPU acceleration, DMA-BUF, ZERO-COPY. Rich animation effects support. Aimi…

nlspec of StrongDM's Attractor, a non-interactive Coding Agent sufficient for use in a Software Factory

Humbug: building an operating system for human-AI collaboration

Mobile and Web client for Codex and Claude Code, with realtime voice, encryption and fully featured

Archive a lifetime of email and chat. Offline search, analytics, and AI query over your full message history. Powered by DuckDB

Lowest barrier of entry to Image Processing, Computer Vision and Neural Networks on the JavaVM

MCP server for hive-framework development. A memory and agentic coordination solution.

Simple utility to prevent outputing secrets in unwanted places

A language for sharpening intent alongside implementation.

"Language-Augmented Relational SQL" The AI is the operator inside SQL.

Voice-to-text with push-to-talk for Wayland compositors

A fully autonomous (no human-in-loop) agentic based project design and coding machine

Multithreaded, Postgres-based, Active Job backend for Ruby on Rails.

Time Series Benchmark Suite, a tool for comparing and evaluating databases for time series data

Common Lisp SDK for Model Context Protocol (MCP) and Agent-to-Agent Protocol (A2A)

Enso Analytics is a self-service data prep and analysis platform designed for data teams.

Developer-friendly OSS embedded retrieval library for multimodal AI. Search More; Manage Less.

A beautiful local-first coding agent running in your terminal - built by the community for the community ⚒

An interactive Datalog