A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.

form building platform

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 list of dotfiles resources.

long-running workflow management

CLI tool for extracting URLs as Markdown

This repository contains a collection of ready-to-use templates for LaTeX projects, specifically designed and optimized for the Tectonic compiler. Whether you're working on an academic paper, a pre…

ATS friendly LaTeX resume template. Create a unique looking CV from scratch.

Chiasmus is an MCP server that gives language models access to formal verification

Milvus is a high-performance, cloud-native vector database built for scalable vector ANN search

A Unified Virtual Filesystem For AI Agents

Fast and reliable background jobs in Go

Drip is a transactional job queue for MariaDB, PostgreSQL, and SQLite

Simple Clojure tooling for AI coding assistants

Babashka CLI and Claude Code skill for structural Clojure refactoring — move forms, fix declares, rename namespaces, explore via AST.

Velocity through clarity

🚀2.3x faster than MinIO for 4KB object payloads. RustFS is an open-source, S3-compatible high-performance object storage system supporting migration and coexistence with other S3-compatible platfor…

An experiment in durability

AI coding assistant skill (Claude Code, Codex, OpenCode, Cursor, Gemini CLI, and more). Turn any folder of code, SQL schemas, R scripts, shell scripts, docs, papers, images, or videos into a querya…

Tooling to build LLM applications: prompt templating and composition, agents, LLM memory, and other instruments for builders of AI applications.

Clojure wrapper for the java bindings of the SMT solver Z3

The Z3 Theorem Prover

Fast, accurate & comprehensive text measurement & layout

An agent-managed museum exhibit, built in Rust with Gajae-Code / LazyCodex — developed and maintained with no human intervention.

Fireworks is a themeable tapping library for Clojure, ClojureScript, and Babashka.

Versioned, fast, distributed Datalog engine for everyone.

The JTS Topology Suite is a Java library for creating and manipulating vector geometry.

Yet Another Workflow Language