Check if an email address exists without sending any email, written in Rust. Comes with a βοΈ HTTP backend.
Hybrid GPU + CPU inference for mixture-of-experts models, written in Rust down to the CUDA kernels. A drop-in llama-server.
β‘ Fast, async, stream-based link checker written in Rust. Finds broken URLs and mail addresses inside Markdown, HTML, reStructuredText, websites and more!
AutoShorts is a local-first desktop application for turning long-form video or audio recordings into high-impact, vertical short-form clip candidates (9:16 portrait) with AI-powered viral moment ranking.
Super-fast Structured Outputs
Larust is a Laravel-inspired web framework for Rust, bringing familiar routing, ORM, validation, authentication, templates, and CLI tooling to a compiled, type-safe Rust stack.
Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
KCL Language Core and API
Detect secrets + live validation. Map blast radius. Revoke fast. Use the CLI or embed in Rust and Python.
A private Lumina server for IDA Pro
Guard offers a policy-as-code domain-specific language (DSL) to write rules and validate JSON- and YAML-formatted data such as CloudFormation Templates, K8s configurations, and Terraform JSON plans/configurations against those rules. Take this survey to provide feedback about cfn-guard: https://amazonmr.au1.qualtrics.com/jfe/form/SV_bpyzpfoYGGuuUl0
π¦ Minecraft: Java Edition resource and data pack optimizer which aims to achieve the best possible compression, performance and protection, improving pack distribution, storage and in-game load times.
Nyx is a high fidelity, fast, reliable and validated astrodynamics toolkit library written in Rust and available in Python
A correct and efficient TypeScript type checker and compiler with additional experiments
PostgreSQL extension providing JSON Schema validation
Headless IDA Pro MCP Server
A high-performance JSON Schema validator for Rust
Synthesized Logic Language for World Models π±ππ
Jito Foundation MEV Solana Client
An RPKI Validator and RTR server written in Rust
OTel Weaver lets you easily develop, validate, document, and deploy semantic conventions
Read-only MBR/GPT inspection, public file signature definitions, and synthetic disk image tools. AGPL-3.0-only.
A fast, open-source Rust toolkit for generating, validating and serving Open Knowledge Format (OKF) knowledge bases from source code.
SCADAver: a Rust-powered, multi-protocol OT/ICS security framework for authorized labs featuring asset discovery, enumeration, controlled validation, simulators, and CLI, TUI, and web interfaces. Discover validate, and try not to cut off the water supply.
β
Parses, validates, hashes, and serializes Nix derivations and constructs their store paths in pure Rust
A rust implementation of the Quip Protocol forked from Substrate
Building blocks for Uniswap (V2, V3, V4), Curve V1, Solidly V2, Balancer V2 & Aave V3 arbitrage and liquidation bots on EVM-compatible blockchains
β
Dalaran β Apache-2.0, robotics-first visualization and data infrastructure for multimodal time-series. ROS 2 native, reads existing .rrd recordings. A hard fork of Rerun.