Contribution activity over the past year, combined from GitHub and code.ffmpeg.org
Loading contributions...

Upstream contributions

Work merged into other projects.

Ethereum ERCs draft ERC
2026-04

ERC-8262: Zero-Knowledge Compliance Oracle (co-author). Six proof types in Noir circuits with multi-jurisdiction policy framework. Draft status on the Ethereum standards track.

Noir Solidity ZK EIP
Dappnode merged
2026-01

Charon health check fix (Obol DVT package). Fixed Charon health probe in Dappnode's Obol DVT generic package.

Obol DVT Charon
Zed extension
2025-07

synthwave84 theme. Synthwave84 theme published to the Zed marketplace.

Zed theme
Dappnode docs
2024-08

Avado migration guide. Migration documentation from Avado to Dappnode.

docs Dappnode

Maintained projects

Open source I work on.

raxol

active
Elixir

Component-based terminal UIs for Elixir

FFmpeg

active
C

aarch64 NEON assembly for swscale and libavfilter (active upstream contributor)

aztec-noir

active
Rust

Noir LSP and tree-sitter syntax for Aztec contracts, published to the Zed marketplace

mona.nvim

active
Lua

Monaspace font toolkit for Neovim

LSPbridge

active
Rust

IDE diagnostics bridge for AI assistants

phos

active
Rust

GRC replacement log colorizer

mana

active
Elixir

Ethereum protocol implementation in Elixir

riddler

active
Elixir

Cross-chain bridge solver

zmin

active
Zig

Ultra-fast JSON minifier with SIMD acceleration

nix-mox

active
Nix

NixOS configuration framework with Proxmox templates

dotfiles

active
Shell

Cross-platform dotfiles with chezmoi and lazy loading

orbit-jump

active
Lua

Gravity-based jumping game

droodotfoo

active
Elixir

This site -- Phoenix LiveView with monospace web design

Nuclear Submarine Tactical R&D Systems

done
Mechanical Engineering

Tactical weapon systems and radiation safety tooling

Mechanical Engineering Electrical Engineering Nuclear Systems Precision Manufacturing

Precision Instrument Calibration System

done
Precision Calibration

Calibration and repair protocols for precision instruments

Precision Calibration Maintenance Protocols Quality Control Cost Optimization