Stars
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
A list of Free Software network services and web applications which can be hosted on your own servers
A lightweight utility to modify trackpad behavior on Linux.
Interactively browse dependency graphs of Nix derivations.
The simplest possible way to begin using and extending a NixOS Configuration with a Raspberry Pi
Combine the power of nix-eval-jobs with nix-output-monitor to speed-up your evaluation and building process.
A curated list of awesome functional programming jobs.
Vim exercises based on the book - Practical Vim.
A `flake-parts` Nix module for Haskell development
OCaml ppx to include binary data from a file as a string
Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.
Resources to install NixOS bare metal on Apple Silicon Macs [maintainers=@tpwrules]
Realtime grep for OCaml/Coq sources available on opam
Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)
get things from one computer to another, safely
This is the Personality Core for GLaDOS, the first steps towards a real-life implementation of the AI from the Portal series by Valve.