2023

Forevr

A collaborative social journal, safe space for all your memories

.
.
.
[REDACTED]

Meio 🐈‍⬛

A tool to monitor eio programs

Github

A demonstration of the pixelstick

Pixelstick

A LED strip on a stick for light-painting photography

Github

2022

Amogu

Incrustation of amongus characters in images, powered by the blazingly fast Rust programming language

https://www.lortex.org/amogu/

2021

OCaml documentation CI

Using the ocurrent library, this CI is in charge of building the package documentation for the ocaml.org website

Slime simulation

Physarum

Conway game and pretty simulations using Rust and GPUs

Github

2020

Asciiparey

An experimental and minimalistic scrapbook

https://www.lortex.org/asciiparey/

TheoremKB

TheoremKB

A knowledge base of mathematical results

2019

Tarides logo

MirageOS 4

A deep build system change to enable cross-compilation on exotic targets

2018

OCamllabs logo

MirageOS on ESP32 chips

Writing a compiler backend for OCaml, and porting MirageOS to ESP32 chips

2017

Sudoku

Mean-field

Learning Sudoku rules with conditional random fields

2016

WindOS

A light operating system for Raspberry Pis

2015

Infinite snake

Before slither.io was popular

Github

2014

Metewow

A webserver for meteorological data

Github

Pokman

a pacman clone where you control the character by tilting your phone

Play Store

2013

Cookie project

Sending marshmallow in space using stratospheric balloons