graf
Plot line charts in your terminal with live data
Portfolio
Formally#
Full-stack web app for formal language (syntax) design
PCSEA - Projet Système d’Exploitation
A simple x86 OS from scratch
Publications
List of scientific texts published with my name
PyCG
Simple desktop app to view and transform 3D models
UGLy - An Unsafe Generic LibrarY
A C library with generic data structures, custom allocators, useful macros and more
S4PU - Simple Forth Processing Unit
A stack-based 16-bit CPU architecture written in VHDL
My private PL Zoo
Showcase of compilers and interpreters that implement toy Programming Languages
Matemática Funcional em Scheme
[pt_BR] SICP-based Scheme crash course I taught during UFSC’s SECCOM 2019
pygraphs
A Python package for the study of graph discrete data structures and algorithms
Video game prototypes
Some indie game prototypes