Metamath Zero specification language

An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

An arbitrary-precision arithmetic library for Rust.

A resizable widget that shows your financial portfolio on your android home screen

union filesystem using fuse

Cap'n Proto serialization/RPC system - core tools and C++ library

A proof-of-concept implementation of Submarine Sends for Ethereum

Code coverage for Solidity smart-contracts

Example Flask application

Example Flask application illustrating some of my common practices

JSON Schema Based Editor

A collaborative platform to write books based on git

twister core / daemon

DokuWiki plugin to enforce summary or minor change on all edits

Notas de aula para o curso Probabilidade I

📟 JSON library for Arduino and embedded C++. Simple and efficient.

A data serialization format for constrained environments like 8-bit and 16-bit microcontrollers.