robbassi's Stars
JonathanLorimer/codata
beerendlauwers/haskell-papers-ereader
Haskell papers optimized for my e-reader.
hmemcpy/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
ashinn/chibi-scheme
Official chibi-scheme repository
chessai/nixos-configs
my nixos configs
nix-community/home-manager
Manage a user environment using Nix [maintainer=@rycee]
NixOS/nixpkgs
Nix Packages collection & NixOS
gelisam/hawk
Haskell text processor for the command-line
aljce/thesis
A Replication of the AKS Primality Decision Algorithm
agentultra/rosby
A simple, reliable key key-value database
mviereck/x11docker
Run GUI applications and desktops in docker and podman containers. Focus on security.
NixOS/patchelf
A small utility to modify the dynamic linker and RPATH of ELF executables
arbor/antiope
A tiny wrapper around Amazonka
primer/css
Primer is GitHub's design system. This is the CSS implementation