GitHub Agentic Workflows Firewall

Home for the Development of MLX Vulkan backend

Prototypes: Object Orientation, Functionally

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

A collection of "git for data" snippets, models, resources

Desktop Extensions: One-click local MCP server installation in desktop apps

A powerful little TUI framework 🏗

A framework for distributed systems verification, with fault injection

Workflow orchestration for AI coding agents, from task to merged PR.

Universal property-based testing protocol, built on Hypothesis

AI Skills for Antithesis Users

Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.

Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier

nss-mdns is a plugin for the GNU Name Service Switch (NSS) functionality of the GNU C Library (glibc) providing host name resolution via Multicast DNS (aka Zeroconf, aka Apple Rendezvous, aka Apple…

Create new projects for the Clojure CLI / deps.edn

SageOx is the hivemind for agentic engineering

A Git extension for tracking the AI-generated code in your repos

Qdrant - High-performance, massive-scale Vector Database and Vector Search Engine for the next generation of AI. Also available in the cloud https://cloud.qdrant.io/

A modern, TreeSitter-powered, Emacs package for programming in OCaml

Vite plugin that reimplements the Next.js API surface — deploy anywhere

AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods

Tool to brute-force antenna designs using GPUs

LLMs + Lean, on your laptop or in the cloud

A graphical frontend for exploring your org-roam Zettelkasten

An Infinitely Large Napkin

Lean formalizations for the paper "Parity of k-differentials in genus zero and one"

JSON module for Guile

Distributed LLM inference across machines over WiFi