Inpla: Interaction nets as a programming language (the current version)

A colorful open source tile game. Place tiles with matching colors to make shapes and fill the board. Play online or install the app!

Remove duplicates from your Spotify Playlists

Visual Brainfuck game runtime

A library for adding a shader wallpaper to the background of your website.

A live and interactive wallpaper "engine" for Linux and Windows. It supports mixing various formats like glsl-shaders, images, videos and GIFs to create an amazing wallpaper. Additionally you can e…

An os created by me, in Rust.

Application mobile officielle de l'IGN, utilisant MapLibre GL JS et Capacitor

Running any GGUF SLMs/LLMs locally, on-device in Android

Open-source E-ink monitor. Mirror of https://gitlab.com/zephray/glider

a ML-style programming language based on the calculus of constructions type theory

Keep your files archived on multiple places, in a reliable and simple way.

An open source app for removing noise and compression from photos

C++ Maze Visualizer supporting orthogonal, hexagonal, and Voronoi diagram grids.

Recursive Tic-Tac-Toe game

Android app for reading Wikipedia pages distraction-free

Hermit for Rust.

Markdown Editor & Notebook for Android built with Jetpack Compose.

The Medito app is a 100% free meditation app built with flutter. The app is available on Android and iOS.

Cellular Automata Accelerated in JAX (Oral at ICLR 2025)

Weighs the soul of incoming HTTP requests to stop AI crawlers

A silly script that helps to download pdf files from https://masterthecase.com where all the pdf files are protected by a WordPress plugin called "Pdf Embedder Premium Secure", http://wp-pdf.com/

Closed-form Continuous-time Neural Networks

GPX exporter for withings activities. Can be used to import withings activities to Strava.

A markup-based typesetting system that is powerful and easy to learn.

Count your code, quickly.