Highlights
Lists (1)
Sort Name ascending (A-Z)
- All languages
- AsciiDoc
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Cairo
- Circom
- Clojure
- CodeQL
- Coq
- Cuda
- Dart
- Dockerfile
- Elixir
- Emacs Lisp
- Erlang
- F*
- Fennel
- Go
- HCL
- HTML
- Handlebars
- Haskell
- Io
- Janet
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Just
- Kotlin
- LLVM
- Lean
- Lua
- MDX
- Makefile
- Markdown
- Max
- Mojo
- Nearley
- Nim
- Nix
- OCaml
- PHP
- Perl
- Prolog
- Python
- Racket
- Rocq Prover
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Sage
- Sass
- Scala
- Shell
- Smarty
- Solidity
- Standard ML
- Starlark
- Swift
- SystemVerilog
- TLA
- TeX
- Thrift
- Tree-sitter Query
- TypeScript
- VHDL
- Verilog
- Vim Script
- Vim Snippet
- Vue
- Vyper
- WebAssembly
- Wikitext
- Zig
- eC
- hoon
- reStructuredText
Starred repositories
Free public Binance Smart Chain (BSC) Archive Snapshot
Create a ethereum execution and consensus layer testnet genesis and expose it via a webserver for testing purposes
e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.
Free public Ethereum Archive Snapshot
a browser extension for better tab navigation without injecting javascript code on every tab you open
Some very rough benchmarks between sha256 circuits in different proving systems
a simple Ethereum mempool backrunner written in Typescript for educational purposes at devcon. assume there are LOTS of bugs!
Foundry tools for interfacing with Reth Alphanet's bleeding-edge EVM extensions.
Formal Analysis of the PQXDH Protocol
Assembly implementation of EIP-4788 system contract.
Files to run a lighthouse / geth client pair on Ethereum EIP-4844 / Deneb devnet for testing