Standalone offline local desktop application to process, store, and visualize Garmin FIT file data in a comprehensive dashboard.

Turn your Strava and Garmin activities into GitHub-style contribution graphs.

Self-hosted, open-source dashboard for your sports and fitness data

Create artistic visualisations with your exercise data

The missing knowledge between AI agents and production Ethereum.

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.