lthibault

system-design-101

Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.

web3

gokrazy-machine

A lightweight virtual/emulated machine to run and develop for gokrazy

stateright

A model checker for implementing distributed systems.

tint

🌈 slog.Handler that writes tinted (colorized) logs

ocapn

General planning and documentation repository for the OCapN protocol suite for distributed networked objects

wasm_of_ocaml

awesome-crdt

A collection of awesome CRDT resources

wasi-go

A Go implementation of the WebAssembly System Interface (WASI)

betteralign

Make your Go programs use less memory (maybe)

wazergo

Library of generic types intended to help create WebAssembly host modules for wazero

wabin

wabin: WebAssembly Binary Format in Go

wapc-guest-tinygo

SDK for creating waPC WebAssembly Guest Modules in TinyGo

wapc-go

Golang-based WebAssembly Host Runtime for waPC-compliant modules

write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

go-libp2p-gostream

Go "net" wrappers for libp2p

pkg

Peer-to-peer cloud environment

bingo

Fast, zero-allocation, lexicographic-order-preserving packing/unpacking of native Go types to bytes.

immutable

Immutable collections for Go

go-incr

Go library inspired by OCaml's incremental

magnetico

Autonomous (self-hosted) BitTorrent DHT search engine suite.

magneticod-distroless

Distroless container for the Magneticod program

leap.nvim

Neovim's answer to the mouse 🦘

go-mono

Template repository for a Go monorepo, complete with CI and automatic docker builds

wazero

wazero: the zero dependency WebAssembly runtime for Go developers

go-immutable-radix

An immutable radix tree implementation in Golang

go-memdb

Golang in-memory database built on immutable radix trees

go-cidranger

Fast IP to CIDR lookup in Golang

termenv

Advanced ANSI style & color support for your terminal applications

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.