An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4

TexLive programs bundled into a single static binary for x86_64-linux / WASM

A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

Connect your generative AI apps with Suno API in seconds!

Control what your AI can see. LeanCTX (Lean Context) is the context intelligence layer for AI agents — one local Rust binary that decides what they read, remembers what they learn, guards what they…

A versatile toolbox for viewing flatpak info, managing user data, and batch managing installed flatpaks

The Coordination Layer for Multi-Agent AI

A simple TUI for serving local LLM models. Pick a model, pick a backend, serve it

Hundreds of models & providers. One command to find what runs on your hardware.

Next-generation JavaScript analysis tooling

Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output.

A subset of Go that translates to C

CSI driver for Nixxing Kubernetes, see develop branch!

Dev environments for numerous languages based on Nix flakes [maintainer=@lucperkins]

Lemonade helps users discover and run local AI apps by serving optimized LLMs right from their own GPUs and NPUs. Join our discord: https://discord.gg/5xXzkMu8Zk

Maybe someday this will be useful for drawing cards from a deck defined on archidekt.com

Long programs with short memory for stream-of-consciousness coding

📦 A package manager for the Zig programming language.

Turn approved specs into long-running autonomous implementation. A minimal, adaptable SDD harness with Agent Skills for Claude Code, Codex, Cursor, Copilot, Windsurf, OpenCode, Gemini CLI, and Anti…

Build ultra fast, tiny, and cross-platform desktop apps with Typescript.

Run Zig on esp-idf (Xtensa/RISC-V)

Bare metal raspberry pi program written in zig

Apache mynewt

AirPods liberated from Apple's ecosystem.

The open source coding agent.

💫 Toolkit to help you get started with Spec-Driven Development

Minimal and educational implementation of an LLM agent.