Dashboard for attempting to discover more LLM feature manifolds

Emdash is the Open-Source Agentic Development Environment (🧡 YC W26). Run multiple coding agents in parallel. Use any provider.

MCP server giving AI assistants full access to Apple Mail - read, search, compose, organize & analyze emails via natural language

A comprehensive collection of Agent Skills for context engineering, multi-agent architectures, and production agent systems. Use when building, optimizing, or debugging agent systems that require e…

An experiment in durability

Progressive UI from LLM

A Model Context Protocol (MCP) server that connects to Strava API, providing tools to access Strava data through LLMs

Small language model built in Minecraft.

bluetooth mesh chat, IRC vibes

A collection of formalized statements of conjectures in Lean.

Tool kit for building secure, scalable, and networked services on top of AWS Nitro Enclaves.

Security scanner for AI agents, MCP servers and agent skills.

Collection of apple-native tools for the model context protocol.

Rust native ready-to-use NLP pipelines and transformer-based models (BERT, DistilBERT, GPT2,...)

LLM inference in C/C++

An extremely fast Python package and project manager, written in Rust.

Rusty API for SQLite

🌐 Make websites accessible for AI agents. Automate tasks online with ease.

The full minitorch student suite.

🪢 Open source AI engineering platform: LLM evals, observability, metrics, prompt management, playground, datasets. Integrates with OpenTelemetry, LangChain, OpenAI SDK, LiteLLM, and more. 🍊YC W23

Automatic SQL injection and database takeover tool

An minimalist Hugo theme for Academics

A micro LISP implementation in 24 lines of Ruby.

Saving 400 million euro of public health care money from reckless vendors

Decentralized authentication and authorization for team collaboration, using a secure chain of cryptological signatures. (Formerly known as 🌮 Taco.)

MirageOS is a library operating system that constructs unikernels

Prototype for Actor Fault Tolerance for Ray

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"