sternenseemann's repositories
nixpkgs
Nix Packages collection
cabal
Official upstream development repository for Cabal and cabal-install
agenix
age-encrypted secrets for NixOS and Home manager
punycode
Punycode encoding and decoding
solo5
A sandboxed execution environment for unikernels
glib-stopgap
a stopgap package to use GLib from Haskell
simple-pango
simple pango package
gitit
A wiki using HAppS, pandoc, and git
nix-community-infra
nix-community infrastructure [maintainer=@Mic92]
emoji-generic
Haskell Emoji Library [WIP]
hydra
Hydra, the Nix-based continuous build system
hs-memory
haskell memory
stackage
"Stable Hackage": vetted consistent packages from Hackage
nix
Nix, the purely functional package manager
tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
shairport-sync
AirPlay and AirPlay 2 audio player
jacinda
Functional, expression-oriented data processing language
cabal2nix
Generate Nix build instructions from a Cabal file
likely-music
experimental application for probabilistic music composition
spacecookie
gopher library & server written in Haskell
fieber
Classless and accessible CSS framework
napalm
Support for building npm packages in Nix and lightweight npm registry [maintainer @nmattia]
repology-rules
Package normalization ruleset for Repology
bqn-mode
Emacs mode for BQN programming language
cl-json
Json encoder and decoder for Common-Lisp
distribution-nixpkgs
Types and functions to represent and manipulate the Nixpkgs distribution.
buchstabensuppe
toy font rendering for low pixelcount, high contrast displays
random-extras
Additional functions for random values.
ghcjs
Haskell to JavaScript compiler, based on GHC
saneterm
Modern line-oriented terminal emulator without support for TUIs