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.