Skip to content

@metacraft-labs Metacraft Labs

Change the repository type filter

All

    Repositories list

    86 repositories

    • codetracer

      Public
      CodeTracer is a user-friendly time-traveling debugger designed to support a wide range of programming languages.
      rubycwindowsmacoslinuxdebuggerrustnixnimcpp
      Nim
      •
      GNU Affero General Public License v3.0
      •26•1.3k•72•9•Updated Dec 9, 2025Dec 9, 2025

    • nimbus-dvt

      Public
      Nimbus Implementation of Metacraft Labs's Ethereum DVT protocol specs
      ethereumssvdvt
      Nim
      •
      Other
      •299•0•0•0•Updated Dec 8, 2025Dec 8, 2025

    • nix-blockchain-development

      Public
      A Nix flake offerring blockchain development tools
      Nix
      •
      MIT License
      •3•7•12•14•Updated Dec 8, 2025Dec 8, 2025

    • nixos-modules

      Public
      D
      •5•3•1•12•Updated Dec 8, 2025Dec 8, 2025

    • DendrETH

      Public
      A smart contract implementation of the Ethereum light client sync protocol
      Rust
      •
      GNU General Public License v3.0
      •12•66•46•77•Updated Dec 7, 2025Dec 7, 2025

    • metacraft-overlay

      Public
      Our gentoo overlay
      gentoogentoo-overlaycodetracer
      MIT License
      •0•1•0•0•Updated Dec 2, 2025Dec 2, 2025

    • metacraft-desktop-packages

      Public
      Desktop packages for Metacraft Labs: DEBs, RPMs, Ebuilds, PKGBUILDs and more
      debianaurrpmgentoogentoo-overlaypkgbuildebuildrpm-packages
      Shell
      •
      MIT License
      •0•1•0•0•Updated Dec 2, 2025Dec 2, 2025

    • codetracer-python-recorder

      Public
      Rust
      •
      MIT License
      •1•19•6•8•Updated Nov 27, 2025Nov 27, 2025

    • ethereum.nix

      Public
      Nix packages and NixOS modules for the Ethereum ecosystem. [maintainers=@aldoborrero,@brianmcgee,@selfuryon]
      Nix
      •
      MIT License
      •44•0•0•2•Updated Nov 17, 2025Nov 17, 2025

    • codetracer-ruby-recorder

      Public
      A prototype of a codetracer recorder for Ruby
      Ruby
      •
      MIT License
      •0•17•5•3•Updated Nov 14, 2025Nov 14, 2025

    • codetracer-trace-format

      Public
      Rust
      •
      MIT License
      •2•5•0•5•Updated Nov 13, 2025Nov 13, 2025

    • nim-confutils

      Public
      Simplified handling of command line options and config files
      Nim
      •
      Apache License 2.0
      •16•0•0•0•Updated Oct 31, 2025Oct 31, 2025

    • codetracer-vscode-extension

      Public
      TypeScript
      •
      GNU Affero General Public License v3.0
      •1•1•0•1•Updated Oct 23, 2025Oct 23, 2025

    • rr

      Public
      Record and Replay Framework codetracer patches
      C++
      •
      Other
      •641•0•0•0•Updated Oct 14, 2025Oct 14, 2025

    • dvt-circuits

      Public
      A collection of ZK circuits for verified DKG of Ethereum validator keys
      Rust
      •0•0•0•0•Updated Oct 9, 2025Oct 9, 2025

    • codetracer-wasm-recorder

      Public
      Fork of wazero with runtime_tracing capabilities
      Go
      •
      Apache License 2.0
      •303•0•0•2•Updated 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++
      •
      Other
      •9•0•0•0•Updated Sep 30, 2025Sep 30, 2025

    • nix-nim-development

      Public
      A Nix flake offering essential tools for Nim development
      Nix
      •
      MIT License
      •0•3•0•0•Updated Sep 15, 2025Sep 15, 2025

    • agents-workflow

      Public
      An opinionated workflow for working with coding agents
      Ruby
      •
      MIT License
      •2•0•0•0•Updated Aug 29, 2025Aug 29, 2025

    • karax

      Public
      Nim
      •0•0•0•0•Updated Jul 15, 2025Jul 15, 2025

    • trace_record

      Public
      a library for recording codetracer traces in Go
      Go
      •
      MIT License
      •0•1•0•0•Updated Jul 3, 2025Jul 3, 2025

    • snarkit2

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

    • snarkjs

      Public
      zkSNARK implementation in JavaScript & WASM
      JavaScript
      •
      GNU General Public License v3.0
      •474•0•0•0•Updated May 19, 2025May 19, 2025

    • tracing-formats-benchmarks

      Public
      Experimental benchmarks for studying the properties of the CodeTracer trace format (and its alternatives)
      MIT License
      •0•0•0•0•Updated May 19, 2025May 19, 2025

    • noir

      Public
      Noir is a domain specific language for zero knowledge proofs
      Rust
      •
      Apache License 2.0
      •353•0•0•2•Updated May 15, 2025May 15, 2025

    • nim-blscurve

      Public
      Nim implementation of BLS signature scheme (Boneh-Lynn-Shacham) over Barreto-Lynn-Scott (BLS) curve BLS12-381
      C
      •
      Apache License 2.0
      •9•0•0•0•Updated May 13, 2025May 13, 2025

    • codetracer-wasmi-recorder

      Public
      WebAssembly (Wasm) interpreter with runtime_tracing capabilities.
      Rust
      •
      Apache License 2.0
      •330•0•0•1•Updated Apr 10, 2025Apr 10, 2025

    • wazero

      Public
      wazero: the zero dependency WebAssembly runtime for Go developers
      Go
      •
      Apache License 2.0
      •303•0•0•0•Updated Apr 9, 2025Apr 9, 2025

    • oss-directory

      Public
      A curated directory of open source software (OSS) projects and their associated artifacts
      Python
      •
      Apache License 2.0
      •210•0•0•0•Updated Mar 21, 2025Mar 21, 2025

    • nix-update-action

      Public
      Update flake packages by nix-update via github-actions
      Nix
      •
      MIT License
      •10•0•0•0•Updated Mar 12, 2025Mar 12, 2025