GLM-5: From Vibe Coding to Agentic Engineering

Convert Word, PowerPoint, Excel, OpenDocument, RTF, EPUB, CSV, and PDF to clean Markdown. Built in Rust, with Node.js and Python bindings.

Verified GPU programming framework for Lean 4. Write type-safe WebGPU shaders with formal verification, hardware-accelerated matrix ops, and cross-platform support (Metal/Vulkan/D3D12). Build prova…

Artificial Intelligence Ontology

Off-grid mesh node with local AI TAK integration and Bitcoin Cashu payments built on Meshtastic

infinifi plays gentle lofi music in the background indefinitely

A collection of formalized statements of conjectures in Lean.

Locate a nearby Bluetooth device by signal strength, from the macOS command line — for when Find My isn't available

[ICLR2025, ICML2025, NeurIPS2025 Spotlight] Quantized Attention achieves speedup of 2-5x compared to FlashAttention, without losing end-to-end metrics across language, image, and video models.

Small and interactive exercises for learning Ratatui

Fast Rust library for PDF inspection, classification, and text extraction. Intelligently detects scanned vs text-based PDFs to enable smart routing decisions.

A next-generation test runner for Rust.

Give your agent a computer 👾

The official Python SDK for the Foundry API

Generate clean 2D game sprites & animation atlases — component-row pipeline: state rows, alpha cleanup, frame extraction, runtime atlases. Codex/Claude skill.

Comp AI CRM is an open source, CRM designed for AI agents. Agentic-first CRM.

A 2-deck mixer, sample pads, sequencer— all from any Unix terminal.

Fast, collaborative live terminal sharing over the web

A browser that runs directly inside your existing terminal

Open-source, developer-first PaaS: git push → live HTTPS URL on hardware you own, including a Raspberry Pi behind CGNAT, via a zero-trust cloud relay.

A falling sand physics simulation plugin for Bevy

Ultra-minimalist macOS recording + transcription.

Decentralized Secrets Management Engine powered by threshold cryptography and proxy re-encryption

Cluster membership protocol with failure detection inspired by Cassandra and DynamoDB

Fault-tolerant async actors for Rust that scale seamlessly

ECS-driven 2D and 3D physics engine for the Bevy game engine.

Web application generating interactive and highly customizable maps