Zero-cost asynchronous programming in Rust
- async-foundations
Repository Index
68,261 visible repositories in the index
49–72 of 208 · Most stars
Succinct Compositional Program Graph (SCPG) static analysis engine & 14-diagram UML generator in Rust.
- code-property-graph
- compiler-theory
- program-analysis
- robdd
A comparison of some web frameworks and libs written in Rust
- rust
- web
- framework
- comparison
PostgreSQL connection pooler, load balancer and database sharder.
- load-balancer
- pooler
- postgresql
- rust
Ecosystem of libraries and tools for writing and executing fast GPU code fully in Rust.
- cuda
- cuda-kernels
- cuda-programming
- gpgpu
🐸 a database tool for the terminal
A cinematic Git commit replay tool for the terminal, turning your Git history into a living, animated story.
- cli-tool
- code-animation
- developer-tools
- git
💎 Amber the programming language compiled to Bash/Ksh/Zsh
A command line progress reporting library for Rust
Safe and rich Rust wrapper around the Vulkan API
- vulkan
- vulkan-api
- rust
- spir-v
⚓ Solana Program Framework
Minimal implementation of the Mimblewimble protocol.
- mimblewimble
- rust
- cryptocurrency
- cryptography
Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.
- ebpf
- bpf
- rust
- observability
A Text User Interface library for the Rust programming language
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
Orchestrate end-to-end encryption, cryptographic identities, mutual authentication, and authorization policies between distributed applications – at massive scale.
- messaging
- authentication
- key-management
- identity
Borgo is a statically typed language that compiles to Go.
- compiler
- golang
- programming-language
- rust-lang
A Decentralized Operating System for ZK Applications
TypeDB: Built for systems, not records
- database
- knowledge-base
- knowledge-representation
- reasoning
A full-featured and easy-to-use web framework with the Rust programming language.
- rust
- framework
- rust-lang
- poem
You shouldn't ever lose your work if you're using Git
- rust
- git
An offline-first photo manager for large local libraries
- desktop-app
- face-recognition
- local-first
- offline
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
- database
- graph
- client-server
- cross-platform
Blazing fast concurrent HashMap for Rust.
- hashmap
- hashtable
- concurrent-programming
- concurrent