repos
21
ecosystems
15
languages
5
commits
527
─── top repos · by commits
─── repositories
21 totalEmpowering everyone to build reliable and efficient software.
Verified implementation of TLS 1.3 in F*
KreMLin is a tool for extracting low-level F* programs to readable C code
Lean Theorem Prover
Lean 4 programming language and theorem prover
HACL*, a formally verified cryptographic library written in F*
HACL*, a formally verified cryptographic library written in F*
OpenSSL bindings for Rust
OpenSSL bindings for Rust
BoringSSL bindings for the Rust programming language.
A TOML encoding/decoding library for Rust
A TOML encoding/decoding library for Rust
A high-throughput and memory-efficient inference and serving engine for LLMs
A high-throughput and memory-efficient inference and serving engine for LLMs
─── peer developers
─── ecosystems
─── languages
- Rust8
- Python4
- F*2
- OCaml1
- Lean1
─── subscriber view
Unlock the full view of jroesch
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.