htl cargo 0.13.0 clean Holistic Typed Lua: Teal type-checked at cargo build and run on an embedded mlua state (umbrella over htl-core + htl-macros) 1.1K 1d ago htl-macros cargo 0.13.0 clean Proc macros for htl: include_tl! / include_tl_bytes! (Teal checked at cargo build), TealRecord, host_module. Use via the `htl` crate. 1.1K 1d ago u-nesting-d3 cargo 0.17.0 clean 3D bin packing algorithms for U-Nesting spatial optimization engine 1.1K 22h ago blvm-sdk cargo not built 0.1.18 did not build Bitcoin Commons software developer kit, governance infrastructure and composition framework for Bitcoin 1.0K 2d ago robius-packaging-commands cargo 0.4.1 clean A multi-platform companion tool to help package your Rust app when using `cargo-packager`.This should be invoked by cargo-packager's "before-package" and… 935 1d ago geometry-trait cargo 0.0.12 clean Concept traits (Point, Linestring, Ring, Polygon, multi-variants, …) for the Boost.Geometry Rust port — implement them for your own types. 931 8h ago mbrotli cargo 0.5.5 clean Fast Brotli (RFC 7932 and RFC 9841) compression and decompression in safe Rust; encoding is byte-identical to Google's reference encoder 846 4h ago hyperlane-core cargo 21.11.0 clean A lightweight, high-performance, and cross-platform Rust HTTP server library built on Tokio. It simplifies modern web service development by providing built-in… 839 1d ago uqa-graph cargo 0.5.1 clean Graph store, RPQ, Cypher (lexer/parser/AST/compiler), graph algorithms 828 19h ago geometry-model cargo 0.0.12 clean Built-in concrete geometry types (Point, Segment, Box, Linestring, Polygon, …) mirroring Boost.Geometry models — or bring your own via the concept traits. 822 8h ago lazygitrs cargo 0.0.39 3 vulnerabilities 3 A faster, memory-safe, more ergonomic slopfork of lazygit 821 15h ago curveforge-traits cargo 1.0.0 clean Optimised, secure, and generalised algorithms for elliptic curve arithmetic 777 5h ago car-connectors cargo not built 0.56.1 did not build Remote MCP connectors for the Common Agent Runtime — connect to remote MCP servers over HTTP, register their tools, and route calls through CAR's governance… 770 16h ago narsil-mcp cargo 1.7.2 1 vulnerability 1 A blazingly fast MCP server for code intelligence - enumerates repos, data structures, algorithms, and returns relevant code context 708 22h ago arc-malachitebft-core-consensus cargo 0.8.1 clean Core consensus algorithm for the Malachite BFT consensus engine 702 2d ago bevy_symbios_audio cargo not built 0.6.0 did not build Algorithmic audio generator for Bevy. 677 1d ago bingle_core cargo 0.3.17 clean Core library for Bingle: a peer-to-peer messaging engine with Algorand-based node registration and discovery. 645 1d ago cosmolkit-model cargo 0.5.0-rc.14 clean Shared concrete molecular value model for COSMolKit algorithms 634 8h ago wist-control cargo 0.11.0 clean Reusable Control domain model for the wist agent control plane and center governance 606 17m ago baracuda-optim cargo 0.0.1-alpha.86 clean Optimizer kernels (Adam / LAMB / SGD) for the baracuda CUDA stack, built on the multi_tensor_apply idiom vendored from NVIDIA Apex (BSD-3-Clause). One launch… 601 1d ago baracuda-megatron cargo 0.0.1-alpha.86 clean Megatron-LM-style tensor-parallel primitives (Column / Row Parallel Linear) for the baracuda CUDA stack. Pure-composition crate — local GEMM via… 592 1d ago curveforge-macro cargo 1.0.0 clean Optimised, secure, and generalised algorithms for elliptic curve arithmetic 591 4h ago minip2p-pubsub cargo 0.7.4 clean Bounded Sans-I/O libp2p gossipsub 582 1d ago htl-cli cargo 0.13.0 2 detections 3 vulnerabilities 2 3 htl command line (also `cargo htl`): check / run / test / fmt / build / pkg / new for Teal projects 567 1d ago vde-tmux cargo 0.3.8 3 vulnerabilities 3 tmux state & UI manager: session/category, statusline, agent sidebar 563 2d ago jackdaw_rustc_wrapper cargo 0.19.0-rc.0 clean Thin rustc interceptor that redirects --extern bevy= to libjackdaw_sdk.so when compiling jackdaw extension/game projects. Invoked via .cargo/config.toml… 496 1d ago kopitiam-semantic cargo 0.2.6 clean Rust knowledge providers (cargo metadata, rust-analyzer, rustdoc JSON) and LSP-backed rename/code-action write support for KOPITIAM's Semantic Runtime. 490 2d ago banken-spec cargo 0.1.41 clean The postigo action-legality citizenship primitive — a TYPED-SPEC + INTERPRETER triplet for banken (the pleme-io-native k9s). Types are the hard border; the… 468 1d ago laterite-auth cargo 0.9.9 clean Laterite CMF backend user authentication: Argon2id credentials, sessions, and role-based permissions 464 1d ago csw-core cargo 0.1.0 clean Core categorical structures for the Categorical Semantics Workbench - define categories and derive type systems 459 9h ago 