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

formal-lang syntax grammar formal-lang syntax grammar

formal-lang

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

Lean
Scala
Stainless
Benchmark showing scoop-search is 350 times faster than scoop search Benchmark showing scoop-search is 350 times faster than scoop search

scoop-search

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

Zig
Windows
Concurrency
Example of a sensor coverage problem with four coverage holes Example of a sensor coverage problem with four coverage holes

Sensors coverage problem

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

Python
gudhi
Topological data analysis
Screenshot of the π digits program invocations Screenshot of the π digits program invocations

π digits generation

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

C
gmp
Example notes from the university course "Topological Data Analysis" Example notes from the university course "Topological Data Analysis"

University notes

Collection of my personal notes from my university courses.

Pandoc
Deno
Screenshot of the RAM runner web app with the reverse program Screenshot of the RAM runner web app with the reverse program

Random-access machine runner

Interpreter for the mathematical RAM computation model.

Rust
WebAssembly
Two spirals with the decision boundary Two spirals with the decision boundary

SVM

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

Julia
Machine learning
Example of a register transformation from a binary safe single-writer multi-reader register to a multivalue regular single-writer single-reader register Example of a register transformation from a binary safe single-writer multi-reader register to a multivalue regular single-writer single-reader register

Register transformation

Showcases the transformations needed to go from one wait-free register to a different one.

TypeScript
Graphs
Lemmur's logo Lemmur's logo

lemmur

A client for the Lemmy platform - a federated Reddit alternative. (archive)

Flutter
Android
iOS
Shilangyu's avatar Shilangyu's avatar

Avatar

Source code for the generation of my avatar.

Deno
SVG
Lattice agreement algorithm visualization Lattice agreement algorithm visualization

Distributed algorithms

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

C++
Concurrency
Distributed
Example usage of the STM library Example usage of the STM library

Software Transactional Memory

Implementation of a software transactional memory using the TL2 algorithm.

C++
Concurrency
A rasterized Obama triangle, raycasted ellipsoid, and deepfried meme A rasterized Obama triangle, raycasted ellipsoid, and deepfried meme

Computer graphics

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

Rust
TypeScript
C#