| toyos-window cargo | 0.90.0+66010749672c2d06 | none | none | Client library for ToyOS windows: create one, draw into it, read its events. | 1.8K | 2d ago |
| ostrya-rt cargo | 0.3.1 | none | none | Internal async-runtime abstraction for ostrya (smol/tokio backends) | 331 | 2d ago |
| errset cargo | 0.2.1 | none | none | Unboxed, type-keyed error sets: list a function's errors in its signature without naming an enum | 31 | 2d ago |
| cfasim cargo | 0.8.18 | none | high | CLI for scaffolding interactive simulations using Python, Rust, and WebAssembly | 1.7K | 2d ago |
| rcomp-wgpu cargo | 0.4.0 | none | none | Experimental portable GPU compute provider for rcomp | 12 | 2d ago |
| ostrya-composefs cargo | 0.3.1 | none | none | Byte-exact EROFS/composefs image writer and fs-verity digest | 334 | 2d ago |
| bevy_ui_bms_bindings cargo | 0.23.0 | none | none | Automatically generated bindings for bevy_ui crate | 437 | 2d ago |
| sandogasa-copr cargo | 0.26.0 | none | none | COPR API client — read-only project monitoring for update checks | 407 | 2d ago |
| rcomp-metal cargo | 0.4.0 | none | none | Experimental native Metal compute provider for rcomp | 12 | 2d ago |
| axocoatl-llm-gemini cargo | 1.4.0 | none | none | Google Gemini provider for Axocoatl | 426 | 2d ago |
| axocoatl-llm-mistral cargo | 1.4.0 | none | none | Mistral AI provider for Axocoatl (OpenAI-compatible API) | 427 | 2d ago |
| installation cargo | 0.2.2 | none | none | Install a built binary the honest way: plan first, install from the plan, keep a receipt, uninstall from the receipt. Paths come from pathgen. | 221 | 2d ago |
| ghcitty cargo | 0.5.0 | none | none | Fast, friendly GHCi | 218 | 2d ago |
| ostrya-core cargo | 0.3.1 | none | none | ostree object model, checksums, and on-disk format primitives | 341 | 2d ago |
| abstracttui cargo | 0.3.8 | none | none | A reactive, compositor-grade terminal UI engine: fine-grained signals, layered rendering with damage tracking, images (kitty/iTerm2/sixel/mosaic),… | 1.9K | 2d ago |
| dendro cargo | 0.5.0 | none | none | A segmented-parquet archive with a write-ahead log, in a single SQLite file | 2.0K | 2d ago |
| et-modules-service cargo | 0.3.0 | none | none | Discovers ws-module packages on disk and serves their files statically | 145 | 2d ago |
| transparent-wallet-store cargo | 0.1.0-rc.4 | none | none | SQLite store for transparent PIR wallet recovery progress and history | 1.0K | 2d ago |
| visi-core cargo | 0.3.0 | none | none | Embeddable spreadsheet engine: Excel formula compilation and evaluation, dependency-tracked recalculation, and .xlsx import/export | 459 | 2d ago |
| axocoatl-llm-openai cargo | 1.4.0 | none | none | OpenAI provider implementation for Axocoatl LLM abstraction | 536 | 2d ago |
| axocoatl-llm-anthropic cargo | 1.4.0 | none | none | Anthropic Claude provider for Axocoatl LLM abstraction | 537 | 2d ago |
| transparent-wallet cargo | 0.1.0-rc.4 | none | none | Wallet-side private recovery of transparent history over PIR | 1.0K | 2d ago |
| lungo-cli cargo | 1.108.38 | none | high | The lungo command: generate C, Go, Python, Swift, TypeScript and Rust from Lean programs | 48 | 2d ago |
| transparent-txid-client cargo | 0.1.0-rc.4 | none | none | Synchronous, transport-agnostic wallet client for the tiered txid display PIR publication | 1.0K | 2d ago |
| xccute_contract cargo | 0.1.1 | none | none | The traits a generated command implements: an argv of OsStrings under a root program, structural validation, a side-effect-free preview, policy approval… | 73 | 2d ago |
| transparent-shard cargo | 0.1.0-rc.4 | none | none | Transparent PIR shard maps, manifests and table codecs | 1.1K | 2d ago |
| lungo cargo | 1.108.38 | none | none | Runtime and facade types for Rust code generated from Lean by lungo-build | 177 | 2d ago |
| lungo-driver cargo | 1.108.38 | none | none | The language-neutral lungo pipeline: builds a Lake project and analyses its compiled program. An internal part of lungo: depend on `lungo` and `lungo-build`. | 83 | 2d ago |
| lungo-build cargo | 1.108.38 | none | none | Compiles Lean projects into Rust at Cargo build time | 89 | 2d ago |
| lungo-codegen cargo | 1.108.38 | none | none | The Rust backend: Bridge IR to Rust. An internal part of lungo: depend on `lungo` and `lungo-build`. | 129 | 2d ago |
