Projects

A music video made over the course of a recharge week end.

ndbom collects the sources of a given nix installable.

A gnome-shell extension to display your next schedule.

Generate keyboard config and diagrams with lean.

Functional Programing with lean.

A new feature for Achordion.

A tiny game.

Language Server Protocol features.

A simple digital signal processor.

Pure op1 tracks made on the move, mixed with reaper.

A learning plan for blender.

A Nix Flake to build cabal-install with the multi-repl PR.

I contributed 7 games to the 2023 February Haskell Tiny Game Jam.

Pure decoder for the Extensible Binary Meta Language (EBML) format.

A graphic application to produce visualisation and explore fractal.

This project implements the vkguide using the Haskell engine keid.

Adaptation of the retry library for the effectful ecosystem.

XStatic family of packages for haskell.

This library provides a virtual operating system to run Haskell programs.

A StructuredConcurrency effect for the effectful ecosystem.

A bleeding edge nix package set for haskell.

A proof concept Ansible interpreter that leverages the Haxl library to evaluate the playbook tasks concurrently.

Watch an html file and hot reload with SSE.

A (failed) GHC extension proposal.

A web service to inspect zuul configuration objects.

Digital Audio Workstation powered by nix flakes.

An album I produced with hardware synthesizer.

A visualization of the zuul development history made with gource.

Derivations for the retroclash toolchain.

Use this library to query and decode zuul-web API.

A game simulator/ai for the Maps of Mnemos game.

A couple of videos to demonstrate the fir library.

A Language Server implementation for the swarm game.

The changemetrics.io hakyll website.

This library allows you to rapidly integrate matrix events in your Haskell application.

A matrix bot to forward gerrit events.

A gnome extension to monitor resources through cgroups.

A query language for the monocle service.

A gnome extension to enable Mumble push to talk.

A gnome extension to help you chill by setting up breath time.

Initial prototype for monocle workers.

A library to use the GJS with purescript.

Haskell bindings for ImGuiFileDialog.

A tool to publish Grafana dashboards defined with Dhall.

Linux capabilities Haskell data type.

A library to adapt pulseaudio with the pipes library.

Nix package for zuul.

A small programing language based on the lambda calculus.

A plugin to render Zuul result comments in Gerrit UI.

This library parses Ansi code and render HTML element.

This project adapts the gnugo AI to run in web browsers.

Provide the best in class developer experience for programing-languages enthusiast.

A client library for zuul.

A client library for gerrit.

A web application to learn the game of baduk.

A fractal visualization demo.

I made significant contribution to the change-metrics/monocle project.

I wrote multiple dhall bindings for Ansible, OpenShift, and more.

My solutions to the advent-of-code puzzles.

A 3D rendering of the zuul logo.

This project provides a declarative interface to manage containers' environment.

This project is a minimal kubernetes service to start pod for zuul.

A toy compiler to generate glsl from hy expression.

A peer reviewing project for the Structure and Interpretation of Computer Programs (SICP) assigments.

This project extracts anomaly from log files.

This contribution added additional resources provider such as Amazon EC2 or OpenShift for zuul.

A collection of code to create visualisation.

An API tester.

A tiny http server in 145 byte.

Member of the OpenStack Vulnerability Management Team until 2020-05-06.

A collection of music and video animation.

A kernel module written in C to control access based on time, such as working or holiday time.