TristanCacqueray

simple-haskell-minifier

Simple Haskell Minifier

moonracer

A tiny game

icfpc2023

learn-blender

My notes on learning blender

simple-dear-imgui

A minimalist game engine

haskell-htmx

irmin

Irmin is a distributed database that follows the same design principles as Git

ansible-microshift-role

Ansible role deploying microshift service

bevy

A refreshingly simple data-driven game engine built in Rust

bevy_kira_audio

A Bevy plugin to use Kira for game audio

bevy_quickmenu

A simple-to-use menu system for Bevy which supports gamepad, keyboard or mouse navigation

book

A textbook on informal homotopy type theory

ci-framework

CI Framework - used for CI, QE and Devs to run jobs in a converged way

cron

Cron data structure and parser for Haskell

final-pretty-printer

A monadic (and pretty) pretty printer for Haskell

ghc-whole-program-compiler-project

GHC Whole Program Compiler and External STG IR tooling

large-records

Library to support efficient compilation of large records (linear in the number of record fields)

lean4-mode

Emacs major mode for Lean 4

libsystemd-journal

Haskell bindings to libsystemd-journal

matrix-client-haskell

Matrix.org haskell client library

naga_oil

nixpkgs

Nix Packages collection

one-line-aeson-text

Pretty-printing short Aeson values as text

proto3-suite

Haskell Protobuf Implementation

record-dot-preprocessor

A preprocessor for a Haskell record syntax using dot

rust-dominator

Zero-cost ultra-high-performance declarative DOM library using FRP signals for Rust!

souffle-haskell

Haskell bindings for the Souffle datalog language

vector-shuffling

weeder

A re-implementation of weeder using HIE files

zfoh.ch

Our homepage