repos
37
ecosystems
5
languages
9
commits
884
─── top repos · by commits
─── repositories
37 totalCodeTracer is a user-friendly time-traveling debugger designed to support a wide range of programming languages.
a framework for automated translation of high level langs
Nimbus: an Ethereum Execution Client for Resource-Restricted Devices
Nimbus: an Ethereum 1.0 & 2.0 Client for Resource-Restricted Devices
Load type info from ruby code
a library for recording codetracer traces in Go
Extract type information from Python programs through run-time analysis
Fork of wazero with runtime_tracing capabilities
a prototype of a semi-automatic translation of rubocop
A prototype of a codetracer recorder for Ruby
Noir is a domain specific language for zero knowledge proofs
Ethereum RLP encoding/decoding library for Nim (moved to status-im/nim-eth)
A Python-to-Nim transpiler
ruby to nim
A modern and extensible serialization framework for Nim
Noir is a domain specific language for zero knowledge proofs
Flexible JSON serialization not relying on run-time type information
Formal verification tool for Noir programs using the Rocq system
A wrapper for the keccak-tiny C library
YAML implementation for Nim
Noir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
Noir is a domain specific language for zero knowledge proofs
stew is collection of utilities, std library extensions and budding libraries that are frequently used at Status, but are too small to deserve their own git repository.
Merkle Patricia Tries as specified by Ethereum
Desktop packages for Metacraft Labs: DEBs, RPMs, Ebuilds, PKGBUILDs and more
a fork of RDL used to import Ruby stdlib types to languist
Friendly, exception-free value-or-error returns, similar to Option[T]
WebAssembly (Wasm) interpreter with runtime_tracing capabilities.
─── peer developers
─── languages
- Nim15
- Rust9
- Ruby3
- Go2
- C2
- TypeScript1
- C++1
- Python1
- Shell1
─── subscriber view
Unlock the full view of alehander92
- · 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.