🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.
Repository Index
47,133 repositories indexed
1–20 of 20 · Most stars
Offline, privacy-first grammar checker. Fast, open-source, Rust-powered
- developer-tools
- english-language
- grammar-checker
- rust
A fast type checker and language server for Python
Minecraft: Java Edition 26.3 rewritten from scratch in Rust, checked against vanilla with 281 differential harnesses. Get it with the Horizon launcher.
- differential-testing
- game-engine
- linux
- minecraft
⚡ Fast, async, stream-based link checker written in Rust. Finds broken URLs and mail addresses inside Markdown, HTML, reStructuredText, websites and more!
- link-checker
- link-checking
- link-checkers
- validator
Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.
- code-analyzer
- code-style
- coding-standards
- formatter
A fast, feature-rich static code analyzer & language server for Python
Rust port of the TypeScript 7 type checker
Ephemeral Workspaces, durable shared history. LayerFS gives every agent a complete, writable filesystem Workspace over shared committed history, without copying the base. Agents work in parallel, commit what changed as deduplicated checkpoints, then branch, rewind or merge. Try it with LayerFS × DSH.
- agent-infrastructure
- ai-agents
- checkpoint
- content-addressable-storage
⚡️Lightning-fast linter for .env files. Written in Rust 🦀
TranslatedLocal AI routing gateway with Agent client takeover — reuse existing client logins, call 50+ AI clients through one base URL, with unified OpenAI / Anthropic / Images APIs, multi-account routing, check-in, balance and request reports
- autoclaw
- catpaw
- local-proxy
- openai-compatible
A linter and formatter to help you to improve copywriting, correct spaces, words, and punctuations between CJK (Chinese, Japanese, Korean).
cwe_checker finds vulnerable patterns in binary executables
- cwe
- binary-analysis
- static-analyzer
- vulnerability-scanner
Python Type Checker / Language Server
- autocompletion
- language-server-protocol
- mypy
- python
A high-performance static analysis toolkit for Ruby
- ruby
- static-analysis
- type-checking
One open-source modeler for structures, heat and fluids, built from scratch in pure Rust: parametric part in, verified results out. Automatic all-hex and tet meshing, our own nonlinear implicit and explicit FEA, heat transfer and lattice Boltzmann CFD — every result checked against theory. For engineers and AI agents alike. Free, forever.
- cae
- cfd
- computational-mechanics
- explicit-dynamics
Drop your mods folder, a Prism or MultiMC instance or an .mrpack on Hopper and it answers what Horizon already does, what has a port and what is not there yet, then installs the rest.
- horizon
- minecraft-mods
- modpack
- modrinth
Is my mod on Horizon? Type a name or drop your whole pack and every mod gets one plain answer: built in, ported, works or not yet. What works installs in one click.
- curseforge
- fabric
- horizon
- minecraft-mods
Web app that can hash/hmac, encrypt/decrypt, and sign/verify the data, debug JWT tokens, parse and edit ASN1 structures, compute diffs, and more
Cross-file drift checker. Keeps code, configs, and docs in sync deterministically. Supports 35+ languages.