Projects

Here are some of the projects I have worked on, as an author or contributor.

2024-09-01
A web component to display weiqi.
opCBC🎵
2024-02-25
A music video made over the course of a recharge week end.
ndbom📦
2024-01-27
ndbom collects the sources of a given nix installable.
2024-01-16
A gnome-shell extension to display your next schedule.
2023-12-10
Generate keyboard config and diagrams with lean.
2023-12-01
Functional Programing with lean.
2023-11-24
A new feature for Achordion.
2023-09-26
A tiny game.
2023-09-02
Language Server Protocol features.
2023-07-03
A simple digital signal processor.
2023-06-29
Pure op1 tracks made on the move, mixed with reaper.
2023-05-26
A learning plan for blender.
2023-03-16
A Nix Flake to build cabal-install with the multi-repl PR.
2023-02-09
I contributed 7 games to the 2023 February Haskell Tiny Game Jam.
ebml📖
2023-01-23
Pure decoder for the Extensible Binary Meta Language (EBML) format.
2022-11-19
A graphic application to produce visualisation and explore fractal.
2022-11-12
This project implements the vkguide using the Haskell engine keid.
2022-09-28
Adaptation of the retry library for the effectful ecosystem.
2022-08-27
XStatic family of packages for haskell.
2022-08-26
This library provides a virtual operating system to run Haskell programs.
2022-08-15
A StructuredConcurrency effect for the effectful ecosystem.
hspkgs📦
2022-08-07
A bleeding edge nix package set for haskell.
2022-05-28
A proof concept Ansible interpreter that leverages the Haxl library to evaluate the playbook tasks concurrently.
2022-05-05
Watch an html file and hot reload with SSE.
2022-04-22
A (failed) GHC extension proposal.
2022-04-07
A web service to inspect zuul configuration objects.
2022-03-30
Digital Audio Workstation powered by nix flakes.
2022-02-01
An album I produced with hardware synthesizer.
2022-01-10
A visualization of the zuul development history made with gource.
2021-11-28
Derivations for the retroclash toolchain.
2021-11-05
Use this library to query and decode zuul-web API.
2021-11-03
A game simulator/ai for the Maps of Mnemos game.
2021-10-17
A couple of videos to demonstrate the fir library.
2021-09-29
A Language Server implementation for the swarm game.
2021-06-12
The changemetrics.io hakyll website.
2021-06-05
This library allows you to rapidly integrate matrix events in your Haskell application.
2021-05-28
A matrix bot to forward gerrit events.
2021-05-23
A gnome extension to monitor resources through cgroups.
2021-05-19
A query language for the monocle service.
2021-05-18
A gnome extension to enable Mumble push to talk.
2021-05-10
A gnome extension to help you chill by setting up breath time.
2021-04-08
Initial prototype for monocle workers.
2021-04-05
A library to use the GJS with purescript.
2021-03-21
Haskell bindings for ImGuiFileDialog.
2021-03-10
A tool to publish Grafana dashboards defined with Dhall.
2021-02-26
Linux capabilities Haskell data type.
2021-02-21
A library to adapt pulseaudio with the pipes library.
2021-02-13
Nix package for zuul.
2021-01-16
A small programing language based on the lambda calculus.
2020-11-24
A plugin to render Zuul result comments in Gerrit UI.
2020-11-17
This library parses Ansi code and render HTML element.
2020-11--08
This project adapts the gnugo AI to run in web browsers.
devenv📦
2020-10-26
Provide the best in class developer experience for programing-languages enthusiast.
2020-07-17
A client library for zuul.
2020-07-15
A client library for gerrit.
2020-07-06
A web application to learn the game of weiqi.
2020-05-24
A fractal visualization demo.
2020-05-15
I made significant contribution to the change-metrics/monocle project.
2020-01-06
I wrote multiple dhall bindings for Ansible, OpenShift, and more.
2019-11-28
My solutions to the advent-of-code puzzles.
2019-09-24
A 3D rendering of the zuul logo.
2019-07-27
This project provides a declarative interface to manage containers' environment.
2019-06-14
This project is a minimal kubernetes service to start pod for zuul.
2019-03-23
A toy compiler to generate glsl from hy expression.
2019-01-03
A peer reviewing project for the Structure and Interpretation of Computer Programs (SICP) assigments.
2017-06-26
This project extracts anomaly from log files.
2017-05-28
This contribution added additional resources provider such as Amazon EC2 or OpenShift for zuul.
2016-05-28
A collection of code to create visualisation.
2015-06-05
An API tester.
2014-07-20
A tiny http server in 145 byte.
2014-01-17
Member of the OpenStack Vulnerability Management Team until 2020-05-06.
2012-06-02
A collection of music and video animation.
2010-07-05
A kernel module written in C to control access based on time, such as working or holiday time.