lmittmann

pocketbase

Open Source realtime backend in 1 file

typst

A new markup-based typesetting system that is powerful and easy to learn.

hyperfine

A command-line benchmarking tool

lima

Linux virtual machines, with a focus on running containers

nextra

Simple, powerful and flexible site generation framework with everything you love from Next.js.

bottom

Yet another cross-platform graphical process/system monitor.

slither

Static Analyzer for Solidity and Vyper

revive

🔥 ~6x faster, stricter, configurable, extensible, and beautiful drop-in replacement for golint

wazero

wazero: the zero dependency WebAssembly runtime for Go developers

weaver

Programming framework for writing and deploying cloud applications.

pebble

RocksDB/LevelDB inspired key-value database in Go

golang-lru

Golang LRU cache

reth

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

fe

Emerging smart contract language for the Ethereum blockchain.

revm

Ethereum Virtual Machine written in rust that is fast and simple to use

c2goasm

C to Go Assembly

reentrancy-attacks

A chronological and (hopefully) complete list of reentrancy attacks to date.

cvc5

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

evm.codes

Source for evm.codes an Ethereum Virtual Machine Opcodes Interactive Reference

ityfuzz

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

frpc-go

fRPC-go is a lightweight, fast, and secure RPC framework implemented for Go that uses Frisbee under the hood

opbnb

gophersat

gophersat, a SAT solver in Go

mathfmt

Document mathematical Go code beautifully

evm-bench

🚀🪑 evm-bench is a suite of Ethereum Virtual Machine stress tests and benchmarks.

go-z3

Go (golang) bindings to the Z3 SMT Solver

meth-weth

The most optimized ERC20 & Wrapped Ether implementation.

mev-share-node

forkdiff

CLI tool to generate documentation page of git fork diff

medici-go-demo