renyi_syntax cargo 0.1.0 clean Lexer, parser and formatter for the Renyi programming language 17 4d ago sealmap-corpus cargo 0.2.1 clean Dense Mermaid projections of a sealmap Codebase, the seal lockfile and checks that keep hand-written diagram topics true to the code, and bounded review packs 17 5d ago willi26 cargo 0.0.2 clean An interactive parsimony phylogenetic analysis program inspired by Hennig86. 17 1d ago h5i-app cargo 0.1.1 clean The Axum-based application framework for h5i. Write application logic in Rust and prove its properties in Lean 4. 16 6d ago henad-explore cargo 0.3.0 clean Parameter sweeps, searches and result folders for Henad models. 16 1d ago hlin-bridge cargo 0.1.1 clean The Hlin module bridge on the wire: every message between a module's frame and the shell's page 16 5d ago insigne cargo 0.0.2 clean Name reservation. An insigne is a graded, presentable proof of identity in the Mere platform's dramatis tier: made to be shown and surviving showing, from a… 16 23h ago konomanoasa-tree-sitter-bash cargo 0.2.0 clean Tree-sitter grammars for Bash. 16 1d ago menger cargo 0.6.0 7 vulnerabilities 7 A plan is a program whose leaves are prose — ticketing on Plexus RPC 16 3h ago oxideav-image cargo 0.0.2 clean Image gateway for the oxideav framework — open, decode, convert and save still images and image sequences through the registered format crates, raw RGB / RGBA… 16 5d ago scafra-core cargo 0.1.0-snapshot.1 clean Framework-neutral lifecycle and application abstractions for Scafra 16 4d ago dbt-antlr-codegen cargo 0.2.1 1 vulnerability 1 ANTLR v4 grammar compiler and Rust source generator 15 1h ago hatchery-bidi-relay cargo 0.2.1 clean C2 byte relay: HTTP opens a session, WebSocket forwards opaque frame bytes one way and opaque input bytes the other. Does not parse, render, or apply them. 15 5h ago montagent-render cargo 0.2.0 4 detections 4 Montagent's rasterizer and encode path: frames in, video out. 15 1d ago renyi_package cargo 0.1.0 clean Packages of Renyi programs: the manifest, the lockfile, versions, the registry layout and the resolution of imports (decision AC1) 15 4d ago rustline cargo 0.1.0 clean Emacs-style line editor for terminal programs, a Rust port of bestline 15 3d ago sponsord-api cargo 0.0.2 clean Wire types, error codes and HTTP clients for the sponsord daemon and onramp 15 2d ago tree-sitter-blk cargo 1.0.1 clean Dagor BLK (DataBlock) text format grammar for tree-sitter 15 23h ago exav-imagehash cargo 0.0.2 clean Perceptual image hashes: ClamAV's fuzzy_img hash, equal to `sigtool --fuzzy-img`, and Python imagehash's phash, with every step a parameter. 14 2h ago glrmask-json-schema cargo not built 0.1.1 did not build JSON Schema to grammar lowering for GLRMask 14 1d ago konomanoasa-tree-sitter-gsed cargo not built 0.2.0 did not build Tree-sitter grammars for GNU sed 4.10. 14 1d ago lactea-eel cargo 0.1.1 clean ns-eel2 / projectm-eval compatible expression language (MilkDrop per-frame/per-vertex code). 14 1h ago mil_compile cargo 0.2.0 clean Compile .mlpackage specs to .mlmodelc: coremlc driver with structured errors; in-process CoreML.framework compile on macOS. 14 1d ago sealmap cargo 0.2.1 clean Deterministic code maps and sealed diagram contracts for LLM development harnesses: stable symbol ids, signature and body hashes, a seal lockfile checked in… 14 5d ago sift-query-core cargo 0.1.0 clean Backend-independent query model and strict parameter parser for SiftQuery 14 18h ago tanso-sys cargo 154.4.0+154.0.33 clean Generated bindings to the Chromium Embedded Framework's C API, loading libcef at run time 14 1d ago teamy-facet-macro-types cargo 0.50.0-rc.7 clean TeamDman fork: Unsynn grammar and type definitions for facet macro ecosystem 14 1d ago atrinik-render-api cargo 0.1.0 clean Renderer-neutral target, lifecycle, and frame contracts for Atrinik 13 2h ago av-toolbox-filters cargo not built 0.1.2 did not build Filters that change the frames of av-toolbox pipelines. 13 1d ago fusionspace-hpr-flightdata cargo 0.1.0 clean Flight-log importers, filtering and smoothing, time alignment, parameter identification and fault diagnosis. 13 2d ago 