| bamboo-domain cargo | 2026.10.10 | clean | Domain models and shared types for the Bamboo agent framework | 8.8K | 2d ago |
| reinhardt-dentdelion cargo | 0.3.23 | clean | Plugin system for Reinhardt framework - easy to create, distribute, and install | 8.4K | 2d ago |
| apl-token cargo | 0.12.0 | clean | APL Token Program | 8.3K | 3d ago |
| ai-agents cargo | 1.1.2 | clean | A Rust framework for building AI agents from YAML specifications with trait-based extensibility | 8.2K | 48m ago |
| harn-flock cargo | 0.10.162 | clean | Advisory file locks with deadlines for the Harn programming language | 8.2K | 19h ago |
| prest-build cargo | 0.6.0-debug4 | clean | Progressive RESTful framework build utils | 8.0K | 3d ago |
| rusti cargo | 0.1.4 | clean | A simple go-style utility for downloading, installing, and running rust programs. | 8.0K | 2d ago |
| proofman-util cargo | 1.3.2-alpha | clean | Low-level utilities (device buffers, timers, helpers) for the PIL2 proofman framework | 8.0K | 1d ago |
| proofman-macros cargo | 1.3.2-alpha | clean | Procedural macros for the PIL2 proofman framework | 7.9K | 1d ago |
| proofman-common cargo | | not built 1.3.2-alpha did not build | Shared proof/setup contexts, traces, and STARK metadata types for the PIL2 proofman framework | 7.9K | 1d ago |
| axum-server2 cargo | 0.7.3 | clean | High level server designed to be used with axum framework. | 7.8K | 3d ago |
| proofman-hints cargo | | not built 1.3.2-alpha did not build | Hint definitions and evaluation for the PIL2 proofman framework | 7.8K | 1d ago |
| proofman-witness cargo | | not built 1.3.2-alpha did not build | Witness library, component, and manager traits for the PIL2 proofman framework | 7.8K | 1d ago |
| proofman-curves cargo | | not built 1.3.2-alpha did not build | Elliptic curves over Goldilocks extensions (EcGFp5, EcMasFp5) for the PIL2 proofman framework | 7.8K | 1d ago |
| hjkl-lang cargo | 0.42.2 | clean | Language directory and grammar request types for the hjkl editor stack: GrammarRequest, LanguageDirectory. | 7.7K | 17h ago |
| error-forge cargo | 1.0.2 | clean | Pragmatic Rust error-handling framework with stable error metadata, contextual diagnostics, optional async support, and synchronous recovery primitives (retry,… | 7.7K | 2d ago |
| rnotify cargo | 0.2.0 | clean | Rnotify allows sending informative messages to various destinations such as Discord, Telegram and Mail through the command line. | 7.6K | 2d ago |
| patina_test cargo | | not built 23.3.3 did not build | Component and framework for on-system unit testing. | 7.6K | 1d ago |
| cranpose-app-shell cargo | 0.9.25 | clean | App lifecycle, frame cadence and input dispatch for Cranpose | 7.6K | 7m ago |
| fastapi-types cargo | 0.5.0 | clean | Shared types for the FastAPI Rust framework | 7.5K | 3d ago |
| bevy_mod_scripting_script cargo | 0.22.0 | clean | script domain types for the BMS framework | 7.4K | 1h ago |
| gpui-unofficial cargo | 1.24.1-pre | clean | Zed's GPU-accelerated UI framework | 7.4K | 2d ago |
| harn-kernel cargo | 0.10.162 | clean | Portable compiler, program artifact, and deterministic execution kernel for Harn | 7.2K | 19h ago |
| euv-cli cargo | 0.28.31 | clean | The official CLI tool for the euv UI framework, providing dev/release profiles with run/build modes, hot reload, and wasm-pack integration. | 7.2K | 1h ago |
| brepkit-sketch cargo | 4.1.48 | clean | 2D parametric constraint solver (GCS) for brepkit sketch mode | 7.2K | 1d ago |
| fastapi-core cargo | | not built 0.5.0 did not build | Core types and traits for the FastAPI Rust framework | 7.2K | 3d ago |
| ziskos cargo | | not built 1.3.2-alpha did not build | Guest runtime and entrypoint for programs targeting the ZisK zkVM | 7.2K | 1d ago |
| alien-macros cargo | 3.3.32 | clean | Procedural macros for the Alien framework | 7.1K | 6h ago |
| proofman-exps-codegen cargo | 1.3.2-alpha | clean | Expression code generation for the PIL2 proofman framework | 7.0K | 1d ago |
| rustest cargo | 0.3.1 | clean | Better test your program. | 7.0K | 2d ago |
