basile-henry

infinisweep

A Minesweeper clone with infinite grid written in Haskell.

aoc2021

Advent of Code 2021

aoc2022

twitter-wordle

Solve the daily Wordle by simply looking at Twitter

nix-home

Personal declarative environment setup with home-manager

aoc2023

aoc2015

aoc2016

blog

bromberg_sl2

Cayley hashing as in "Navigating in the Cayley Graph of SL₂(𝔽ₚ)"

cargo

The Rust package manager

clash-protocols

a battery-included library for dataflow protocols

connect-4

dhall-lang

Maintainable configuration files

dhall-rust

cargo +nightly build

ghci-rs

A crate to manage and communicate with ghci (Haskell's GHC interpreter)

helix

A post-modern modal text editor.

hydra

Hydra, the Nix-based continuous build system

hydra-cli

A client for the Hydra Nix CI

jam0001

kdl

the kdl document language specifications

libgit2

A cross-platform, linkable library implementation of Git that you can use in your application.

maturin-nix

Build pyo3 rust wheels in nix

nixpkgs

Nix Packages collection

package.elm-lang.org

website for browsing packages and exploring documentation

pi

Pi Approximator uses randomness to estimate what the value of pi is. It uses the fact that the probability for a random point inside the square to be also in the circle is equal to pi/4.

roc

A fast, friendly, functional language. Work in progress!

rustyline

Readline Implementation in Rust

version-sync

Keep version numbers in sync with Cargo.toml

website