robbassi

robbassi's Stars

• JonathanLorimer/codata

  Language:Haskell3

• beerendlauwers/haskell-papers-ereader

  Haskell papers optimized for my e-reader.

  26619

• hmemcpy/milewski-ctfp-pdf

  Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

  Language:TeX11k592

• ashinn/chibi-scheme

  Official chibi-scheme repository

  Language:Scheme1.2k141

• chessai/nixos-configs

  my nixos configs

  Language:Nix142

• nix-community/home-manager

  Manage a user environment using Nix [maintainer=@rycee]

  Language:Nix7k1.8k

• NixOS/nixpkgs

  Nix Packages collection & NixOS

  Language:Nix18k14k

• gelisam/hawk

  Haskell text processor for the command-line

  Language:Haskell36120

• aljce/thesis

  A Replication of the AKS Primality Decision Algorithm

  Language:Agda1

• agentultra/rosby

  A simple, reliable key key-value database

  Language:Haskell51

• mviereck/x11docker

  Run GUI applications and desktops in docker and podman containers. Focus on security.

  Language:Shell5.6k378

• NixOS/patchelf

  A small utility to modify the dynamic linker and RPATH of ELF executables

  Language:C3.6k486

• arbor/antiope

  A tiny wrapper around Amazonka

  Language:Haskell84

• primer/css

  Primer is GitHub's design system. This is the CSS implementation

  Language:SCSS12.6k1.2k