Stars
Lean Companion to the Category Theory in Context textbook by Emily Riehl
tfw when you when your lid when uhh angle your lid sensor
High level Lua 5.4/5.3/5.2/5.1 (including LuaJIT) and Luau bindings to Rust with async/await support
An open source payments switch written in Rust to make payments fast, reliable and affordable
Open-source LLM load balancer and serving platform for self-hosting LLMs at scale 🏓🦙
A lightweight batch processing queue for the heaviest loads.
A Python library for extracting structured information from unstructured text using LLMs with precise source grounding and interactive visualization.
Hierarchical Reasoning Model Official Release
Breaking the WASM/JS communication performance barrier
A native Rust UI library with fine-grained reactivity
🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend.
A list of projectional and structural editors
plakar is a backup solution powered by Kloset and ptar
Weighs the soul of incoming HTTP requests to stop AI crawlers
🚂 🦀 The one-person framework for Rust for side-projects and startups
Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need
An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WASM sandboxing.
NVR with realtime local object detection for IP cameras
modular service framework to move and transform network packets
Linux virtual machines, with a focus on running containers
D-FINE: Redefine Regression Task of DETRs as Fine-grained Distribution Refinement [ICLR 2025 Spotlight]
Linear algebra foundation for the Rust programming language
Open source comprehensive 2D content creation tool suite for graphic design, digital art, and interactive real-time motion graphics — featuring node-based procedural editing
A markup-based typesetting system that is powerful and easy to learn.