Stars
- All languages
- Arduino
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Coq
- Cuda
- Emacs Lisp
- Erlang
- F#
- FLUX
- Go
- HCL
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Logos
- Lua
- MATLAB
- MDX
- Makefile
- Nix
- OCaml
- Objective-C
- Objective-C++
- PLpgSQL
- Perl
- PureScript
- Python
- Raku
- ReScript
- Reason
- Rich Text Format
- Rocq Prover
- Ruby
- Rust
- SCSS
- Shell
- Smali
- Solidity
- Standard ML
- Starlark
- Swift
- TeX
- TypeScript
- Verilog
- Vim Script
- Vue
- WebAssembly
Cohort 6 of Ethereum Protocol Fellowship
A study group learning about Ethereum and building protocol wiki
📝 Go: A Documentary | https://golang.design/history
Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust
A simple daemon providing dynamic fan speed control based on temperature sensors.
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Observations and tips checklist for auditing protocols on multiple chains 🧐
ABCDE Internal POC: Parallel go-ethereum
Polaris is a modular implementation of the Ethereum Virtual Machine (EVM). It can be easily integrated into any consensus engine or application, including the Cosmos-SDK.
Factory smart contract to make easier and safer usage of the `CREATE` and `CREATE2` EVM opcodes as well as of `CREATE3`-based (i.e. without an initcode factor) contract creations.
Modern, opinionated, and gas optimized building blocks for smart contract development.
Haskell implementation of open games
A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.
Go library for accessing and embedding Tor clients and servers
A small repository containing the TeX code for the Succinct Proofs and Linear Algebra study session's slides and homework
My swiss army knife for reversing EVM bytecodes (super experimental)
Solidity Function Selector Miner (AVX2 + Multithreaded)
A trustless P2P fiat onramp powered by ZK proofs.



