A model checker for Rust programs.
- rust
- model-checking
- verification
Repository Index
79,841 visible repositories in the index
73–96 of 215 · Most stars
Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier for rustaceans.
- rust
- linux
- thread-per-core
- iouring
Switchyard lets LLM applications route traffic across models and providers while preserving native OpenAI and Anthropic API compatibility - enabling flexible model selection, benchmarking, and cost/performance optimization.
🔭 Cross-platform filesystem notification library for Rust.
- rust
- filesystem
- filesystem-events
- watcher
rustic - fast, encrypted, and deduplicated backups powered by Rust
- backup
- deduplication
- encryption
- rust
⚙️ Layered configuration system for Rust applications (with strong support for 12-factor applications).
- rust
- config-management
- configuration
- toml
A lightweight TUI application to view and query tabular data files, such as CSV, TSV, and parquet.
Turn code into clarity. Generate accurate technical docs and AI-ready context in minutes—perfectly structured for human teams and intelligent agents.
- deepwiki
- deepseek
- dsh-plugin
- okf-format
Zenith - sort of like top or htop but with zoom-able charts, CPU, GPU, network, and disk usage
- cpu
- linux
- terminal-application
- process-monitor
Geph (迷霧通) is a modular Internet censorship circumvention system designed specifically to deal with national filtering.
- vpn
- circumvention
- rust
High-performance runtime for data analytics applications
- stanford
- data
- analytics
- machine-learning
Efficient Duplicate File Finder
SQLSync is a collaborative offline-first wrapper around SQLite. It is designed to synchronize web application state between users, devices, and the edge.
- collaborative
- database
- local-first
- offline-first
Zero-Trust access management with true WireGuard® 2FA/MFA
- multifactor-authentication
- openid
- openid-connect
- vpn
Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor can re-check.
- ai-native
- description-logics
- knowledge-graph
- mcp
A statically typed language compatible with Python
- compiler
- programming-language
- python
- rust
A versatile and efficient proxy framework.
A statically typed programming language for scientific computations with first class support for physical dimensions and units
- calculator
- physics
- programming-language
- statically-typed
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
Run web applications on AWS Lambda
- aws-lambda
- lambda
Modern applications with built-in automation
Polaris is a music streaming application, designed to let you enjoy your music collection from any computer or mobile device.
Free, open-source VHS effect. Standalone application + plugin (After Effects, Premiere, and OpenFX).
- vhs
- video
- vfx
Eclipse iceoryx2™ - the true zero-copy data plane
- eclipse
- iceoryx
- inter-process-communication
- ipc