Projects

Roles: Author = created and led the project. Co-author = core contributor from early stages. Contributor = merged PRs or patches. Maintainer = ongoing maintenance responsibilities.

Compiler & Language Tooling

juvix – Co-author. Functional programming language for intent-centric decentralized applications. Led product direction and shipped 50+ compiler PRs in Haskell.
vscode-juvix – Author. VS Code extension for Juvix: syntax highlighting, REPL, CodeLens, hover/typecheck. 50+ releases.
homebrew-juvix – Author. Homebrew tap for macOS distribution of Juvix.
juvix-stdlib – Co-author. Juvix standard library and CI setup.
juvix-mkdocs – Author. MkDocs plugin for literate Juvix programming with build-time typechecking.
juvix-docs – Author. Documentation source for docs.juvix.org.
juvix-containers – Author. Docker containers for Juvix CI.
vamp-ir – Contributor. Release automation for this zero-knowledge circuit language (Rust).

Distributed Systems & Protocols

engine – Author. Elixir library implementing the Anoma engine architecture: OTP supervision tree, GenStage messaging, compile-time validated DSL.
dexes – Author. HyperCow: SPEEDEX-based decentralized exchange prototype on Anoma (Elixir). 60+ PRs.
tango – Author. Replicated in-memory data structures library in Elixir.
nspec – Co-author. Anoma specification tooling and MkDocs infrastructure. 100+ PRs.
art – Co-author. Anoma Research Topics index: LaTeX template, paper editing, Zenodo publication system.

Formal Verification & Proof Assistants

athena – Author. Translates Metis ATP proof output into compilable Agda code. Haskell.
online-atps – Author. CLI for remote automated theorem provers via SystemOnTPTP. Haskell.
agda-metis – Author. Agda formalization of Metis prover reasoning steps.
agda-prop – Author. Library for classical propositional logic in Agda.
agda-pkg – Author. Package manager for Agda.
agda-unimath – Contributor. 8 merged PRs improving the documentation website.
apia – Contributor. Proof-reconstruction project in Haskell.
agda – Contributor. Patches to the Agda proof assistant.
HoTT-Book – Contributor. Corrections and contributions to the HoTT Book.
plfa.github.io – Contributor. Programming Language Foundations in Agda.

Other

agda-mode-vscode – Author. Agda mode for VS Code.
hott-cheatsheets – Author. Community reference cheatsheets for the HoTT Book. LaTeX.
flask-ponywhoosh – Author. Flask extension integrating PonyORM with Whoosh for full-text search. Python.
ponywhoosh – Author. PonyORM full-text search via Whoosh. Python.
python-atxt – Author. Tool to extract text data from different file formats. Python.
prop-pack – Author. Collection of TPTP problems and TSTP solutions for testing automatic provers.
arsi – Author. Selection algorithm on rough sets for missing data. Mathematica.
poirot – Author. Text search and analysis platform in Mathematica for large-scale textual data. Developed for Observatorio de Tierras. Source code is private.