Stars
A fast and compact CPU-only inference engine for Laya in Zig.
The Hitchhiker's Guide to Logical Verification (2025 edition) and associated materials
Using Apple's Neural Engine as a fast and free local "System One" Decision Engine (macOS 27) - "Honey, we have Jev at home"
A simple, stateless NixOS deployment tool [maintainer=@stepbrobd, @NickCao, @zhaofengli]
Non-autoregressive System 1 decision engine. Typed choice, score and yes/no decisions over any text in a single forward pass, in 100+ languages, with a router that picks the right checkpoint per re…
Waypoints to the past and future of visual programming.
DOMPurify - a DOM-only, super-fast, uber-tolerant XSS sanitizer for HTML, MathML and SVG. DOMPurify works with a secure default, but offers a lot of configurability and hooks. Demo:
Open-source e-reader firmware
Kernel-enforced socket deadlines on Linux via TCP_USER_TIMEOUT
Remote Desktop Control for AI agents: screenshot, mouse, keyboard and window control of another machine over Tailscale, exposed as MCP tools. Built with Rust
Draw on a projection with a laser pointer
OASIS Advanced Message Queuing Protocol (AMQP) TC: OASIS AMQP TC specification and document repository. AMQP is a secure, reliable and open internet protocol for handling business messaging. https:…
A cross-platform GUI library for Rust, inspired by Elm
Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht @Mic92 @phaer]
⭐️ A friendly language for building type-safe, scalable systems!
🗻 Log-structured, embeddable key-value storage engine written in Rust
A JSON-like data structure (a CRDT) that can be modified concurrently by different users, and merged again automatically.