repos
19
ecosystems
10
languages
3
commits
110
─── top repos · by commits
─── repositories
19 totalA fork of git://sourceware.org/git/binutils-gdb.git
personal gdb mirror
Binutils but for Richard's ISA
GNU Binutils - Zephyr RTOS Support Development Branch
Beautiful diagnostic reporting for text-based programming languages.
A small rust library for adding custom derives to enums
Graph data structure library for Rust.
Rust library for build scripts to compile C/C++ code into a Rust library
Lean Theorem Prover
Rust library for build scripts to compile C/C++ code into a Rust library
Lean 4 programming language and theorem prover
A small rust library for adding custom derives to enums
Rust library for build scripts to compile C/C++ code into a Rust library
Standalone JIT-style runtime for WebAssembly, using Cranelift
─── peer developers
─── ecosystems
─── languages
- C8
- Rust4
- Lean1
─── subscriber view
Unlock the full view of ratmice
- · 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.