A python bot replying notifications with quotes.
Updated 1 week ago
The guix channel for my packages.
Updated 4 weeks ago
A simple game with stars and colors.
Updated 1 month ago
The Web Tool Kit.
Updated 4 weeks ago
The guix configuration for our home.
Updated 1 month ago
Updated 10 months ago
Updated 1 month ago
A collection of files I use to maintain my zettelkasten.
Updated 1 year ago
A typed interface to the Racket generic graph library.
Updated 11 months ago
Utilities for function composition in Typed Racket.
Updated 2 years ago
A Nix derivation to easily install the packages I publish.
Updated 1 year ago
Solutions to the https://adventofcode.com/2020
Updated 2 years ago
Mirror of NixOS/nixpkgs
Updated 2 hours ago
A library to implement a norm and a distance on strings useful to quantify intervals in dictionaries.
Updated 2 years ago
A merovingian king/queen name generator.
Updated 2 years ago
This repository packages http://ginsim.org/ for Nix.
Updated 2 years ago
A tool to replicate modifications on ALTO files on PDF files
Updated 3 years ago
Exception handling, cause apparently it's missing from the Except Monad ?
Updated 3 years ago
Haskell bindings for TensorFlow
Updated 2 years ago
Work of samueldr to run NixOS on the Pine64 Pinebook Pro
Updated 8 months ago