TristanCacqueray

advent-of-lean

nix-diff-bill-of-materials

Compare the sources of two nix installables

gen-zmk

bevy_eventlistener

Event listening, bubbling, and callbacks

bevy_mod_picking

Picking and pointer events for Bevy.

bevy_mod_raycast

Unofficial plugin for raycasting in Bevy

bevy_pkv

Cross-platform (including wasm) persistent key value store plugin for rust games/apps

bevy_wasm_window_resize

cabal

Official upstream development repository for Cabal and cabal-install

cblog

Chmouel's Blog

changemetrics.io

Changemetrics website

demo-node-config

dhall-grafana

Build Grafana dashboards with Dhall

documentation-1

emacs-toolbox

Useful lisp code

gleam

⭐️ A friendly language for building type-safe, scalable systems!

haskellfoundation.github.io

The Haskell Foundation website, hosted by GitHub Pages.

justl.el

Major mode for driving just files.

lean4

Lean 4 programming language and theorem prover

monocle

Detect anomalies in your GitHub/Gerrit projects

notmuch

Notmuch fork

packit-service-zuul

Zuul trusted repository for packit-service.

posix-pty

This package simplifies the creation of subprocesses that interact with their parent via a pseudo terminal (see man pty).

qmk-achordion

My keymap & reusable QMK gems

qmk-config

spago

🍝 PureScript package manager and build tool

tailwind-haskell

A No-JavaScript Tailwind runner in Haskell

transient-showcase

Example forms for transient UI's in Emacs

ui-navigation

A UI navigation algoritm implemented in rust currently targeting the bevy ui library

zmk-config