sternenseemann

he/him

Pinned Repositories

large-hashable
Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms
Language:Haskell16 10 73
cabal2nix
Generate Nix build instructions from a Cabal file
Language:Haskell388 14 323157
nixpkgs
Nix Packages collection & NixOS
Language:Nix21.9k 274 49.6k16.8k
saneterm
Modern line-oriented terminal emulator without support for TUIs
Language:Python16 4 13
vuizvui
Nix(OS) expressions used by the OpenLab and its members
Language:Nix108 14 1411
gopher-proxy
relay http requests to a gopher server
Language:Haskell12 2 10
logbook
A tool for keeping a personal log
Language:OCaml16 5 21
spacecookie
gopher library & server written in Haskell
Language:Haskell46 2 415
sternenblog
file based CGI blog software written in C
Language:C12 2 43
tvix
Tvix - A Rust implementation of Nix. Read-only mirror of https://code.tvl.fyi/tree/tvix
Language:Rust894 20 015

sternenseemann's Repositories

sternenseemann/spacecookie
gopher library & server written in Haskell
Language:Haskell46 2 415
sternenseemann/logbook
A tool for keeping a personal log
Language:OCaml16 5 21
sternenseemann/buchstabensuppe
toy font rendering for low pixelcount, high contrast displays
Language:C9 3 12
sternenseemann/likely-music
experimental application for probabilistic music composition
Language:JavaScript8 4 31
sternenseemann/emoji-generic
Haskell Emoji Library [WIP]
Language:Haskell2 2 0
sternenseemann/nixpkgs
Nix Packages collection
Language:Nix1 2 0
sternenseemann/ad
an adaptable text editor
sternenseemann/agenix
age-encrypted secrets for NixOS and Home manager
Language:Nix1 0
sternenseemann/cabal
Official upstream development repository for Cabal and cabal-install
Language:Haskell1 0
sternenseemann/cabal2nix
Generate Nix build instructions from a Cabal file
Language:Haskell1 0
sternenseemann/fieber
Classless and accessible CSS framework
Language:CSS1 0
sternenseemann/gipeda
Git Performance Dashboard
sternenseemann/gitit
A wiki using HAppS, pandoc, and git
Language:Haskell2 0
sternenseemann/glib-stopgap
a stopgap package to use GLib from Haskell
Language:Haskell1 0
sternenseemann/hs-memory
haskell memory
Language:Haskell1 0
sternenseemann/hydra
Hydra, the Nix-based continuous build system
Language:Perl2 0
sternenseemann/jacinda
Functional, expression-oriented data processing language
Language:Haskell2 0
sternenseemann/LASS
Lisp Augmented Style Sheets
sternenseemann/maim
maim (make image) takes screenshots of your desktop. It has options to take only a region, and relies on slop to query for regions. maim is supposed to be an improved scrot.
sternenseemann/napalm
Support for building npm packages in Nix and lightweight npm registry [maintainer @nmattia]
Language:Nix1 0
sternenseemann/nix
Nix, the purely functional package manager
Language:C++2 0
sternenseemann/nix-community-infra
nix-community infrastructure [maintainer=@Mic92]
Language:Nix
sternenseemann/password
datatypes and functions for easily working with passwords in Haskell
sternenseemann/punycode
Punycode encoding and decoding
Language:Haskell1 0
sternenseemann/shairport-sync
AirPlay and AirPlay 2 audio player
Language:C1 0
sternenseemann/simple-pango
simple pango package
Language:Haskell1 0
sternenseemann/solo5
A sandboxed execution environment for unikernels
Language:C1 0
sternenseemann/stackage
"Stable Hackage": vetted consistent packages from Hackage
Language:Dockerfile1 0
sternenseemann/tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.
Language:Haskell2 0
sternenseemann/update-nix-fetchgit
A program to automatically update fetchgit values in Nix expressions
Language:Haskell2 0