A subset of projects that I have contributed to over the years that I find interesting.


formal-lang
Formal specification and verification of a the semantics of a simple programming language.


scoop-search
A much faster alternative for the search command of the Scoop package manager.


Sensors coverage problem
Solution to the sensors coverage problem using homology from topological data analysis.


π digits generation
Generates 100 million digits of π under 2 minutes using the Chudnovsky algorithm.


University notes
Collection of my personal notes from my university courses.


Random-access machine runner
Interpreter for the mathematical RAM computation model.


SVM
From scratch implementation of a support vector machine using gradient descent and SMO.


Register transformation
Showcases the transformations needed to go from one wait-free register to a different one.
lemmur
A client for the Lemmy platform - a federated Reddit alternative. (archive)
Avatar
Source code for the generation of my avatar.


Distributed algorithms
Implementation of a handful of distributed computing primitives, including broadcast and agreement.


Software Transactional Memory
Implementation of a software transactional memory using the TL2 algorithm.


Computer graphics
Implementation of a handful of computer graphics algorithms, including image filters, rasterization, and raycasting.