Skip to content
Change the repository type filter

All

    Repositories list

    • Rust
      2506Updated Oct 14, 2025Oct 14, 2025
    • CodeTracer is a user-friendly time-traveling debugger designed to support a wide range of programming languages.
      Nim
      271.2k689Updated Oct 14, 2025Oct 14, 2025
    • Rust
      117410Updated Oct 13, 2025Oct 13, 2025
    • D
      53114Updated Oct 13, 2025Oct 13, 2025
    • A Nix flake offerring blockchain development tools
      Nix
      371214Updated Oct 12, 2025Oct 12, 2025
    • DendrETH

      Public
      A smart contract implementation of the Ethereum light client sync protocol
      Rust
      12654569Updated Oct 12, 2025Oct 12, 2025
    • A prototype of a codetracer recorder for Ruby
      Ruby
      01753Updated Oct 10, 2025Oct 10, 2025
    • A collection of ZK circuits for verified DKG of Ethereum validator keys
      Rust
      0000Updated Oct 9, 2025Oct 9, 2025
    • Fork of wazero with runtime_tracing capabilities
      Go
      296002Updated Oct 8, 2025Oct 8, 2025
    • rr.soft

      Public
      Run the rr debugger in a Linux VM on apple silicon macOS or in the cloud. Use the rr debugger without HW performance counters on x86-64 and aarch64. Tutorial Link 👇
      C++
      8000Updated Sep 30, 2025Sep 30, 2025
    • Our gentoo overlay
      Shell
      0100Updated Sep 25, 2025Sep 25, 2025
    • Desktop packages for Metacraft Labs: DEBs, RPMs, Ebuilds, PKGBUILDs and more
      Shell
      0100Updated Sep 25, 2025Sep 25, 2025
    • TypeScript
      1101Updated Sep 25, 2025Sep 25, 2025
    • Simplified handling of command line options and config files
      Nim
      17000Updated Sep 21, 2025Sep 21, 2025
    • Nix packages and NixOS modules for the Ethereum ecosystem. [maintainers=@aldoborrero,@brianmcgee,@selfuryon]
      Nix
      43001Updated Sep 18, 2025Sep 18, 2025
    • A Nix flake offering essential tools for Nim development
      Nix
      0300Updated Sep 15, 2025Sep 15, 2025
    • An opinionated workflow for working with coding agents
      Ruby
      2000Updated Aug 29, 2025Aug 29, 2025
    • Nimbus Implementation of Metacraft Labs's Ethereum DVT protocol specs
      Nim
      293000Updated Aug 8, 2025Aug 8, 2025
    • karax

      Public
      Nim
      0000Updated Jul 15, 2025Jul 15, 2025
    • a library for recording codetracer traces in Go
      Go
      0100Updated Jul 3, 2025Jul 3, 2025
    • snarkit2

      Public
      A toolkit to compile and debug circom circuit.
      TypeScript
      2000Updated May 19, 2025May 19, 2025
    • snarkjs

      Public
      zkSNARK implementation in JavaScript & WASM
      JavaScript
      472000Updated May 19, 2025May 19, 2025
    • Experimental benchmarks for studying the properties of the CodeTracer trace format (and its alternatives)
      0000Updated May 19, 2025May 19, 2025
    • noir

      Public
      Noir is a domain specific language for zero knowledge proofs
      Rust
      336002Updated May 15, 2025May 15, 2025
    • Nim implementation of BLS signature scheme (Boneh-Lynn-Shacham) over Barreto-Lynn-Scott (BLS) curve BLS12-381
      C
      10000Updated May 13, 2025May 13, 2025
    • WebAssembly (Wasm) interpreter with runtime_tracing capabilities.
      Rust
      317001Updated Apr 10, 2025Apr 10, 2025
    • wazero

      Public
      wazero: the zero dependency WebAssembly runtime for Go developers
      Go
      296000Updated Apr 9, 2025Apr 9, 2025
    • A curated directory of open source software (OSS) projects and their associated artifacts
      Python
      208000Updated Mar 21, 2025Mar 21, 2025
    • Update flake packages by nix-update via github-actions
      Nix
      9000Updated Mar 12, 2025Mar 12, 2025
    • Noir
      0000Updated Feb 24, 2025Feb 24, 2025