Unofficial client for Leboncoin API

A fast, self-contained environment for end-to-end block building on L1s and L2s.

These are commands I use with agents, mostly Claude

Anthropic's original performance take-home, now open for you to try!

CREATE4 is a universal deployer that supports the trustless definition of chain-specific bytecodes

A multithreaded Minecraft server built for redstone.

A simple virtual machine - compiler & interpreter - written in golang

🚀 Open-source Ethereum consensus client written in Java

Ethereum consensus client in Rust

EDB: The Ethereum Project Debugger

Web based transaction debugger and simulator for the EVM. Open source and self-hostable.

App for exporting Yazio diary to JSON

Lightweight JS/TS client for the YAZIO API. Track calories, log items, and build integrations easily.

Yazio Nutrition App public API description

A Dockerized python Script to fetch Garmin health data and populate that in a InfluxDB Database, for visualization long term health trends with Grafana

Verifiable insights into the maturity and risks of DeFi

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Rust bindings for Godot 4

pprof is a tool for visualization and analysis of profiling data

mbake is a Makefile formatter and linter. It only took 50 years!

Unified zkVM Interface & Toolkit

A personal knowledge management and sharing system for VSCode

This repo explains the design and usage of Unified Bridge and Bridge-and-Call.

Collection of past CTFs to play and practice locally.

An Ethereum proxy contract that can be used for deploying contracts to a deterministic address on any chain.

Terminal UI library with rich, interactive widgets — written in Golang

This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.

Command line tool for the Mermaid library