sternenseemann

he/him

Pinned Repositories

large-hashable
Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms
Language:Haskell15 10 73
nixpkgs
Nix Packages collection & NixOS
Language:Nix16.2k 278 38.4k12.7k
saneterm
Modern line-oriented terminal emulator without support for TUIs
Language:Python14 4 13
buchstabensuppe
toy font rendering for low pixelcount, high contrast displays
Language:C8 4 12
gopher-proxy
relay http requests to a gopher server
Language:Haskell11 3 10
logbook
A tool for keeping a personal log
Language:OCaml16 5 21
spacecookie
gopher library & server written in Haskell
Language:Haskell46 3 415
sternenblog
file based CGI blog software written in C
Language:C12 3 43
tinyrl
A small roguelike!
Language:C12 5 40
tvix
Tvix - A Rust implementation of Nix. Read-only mirror of https://cs.tvl.fyi/depot/-/tree/tvix
Language:Nix432 17 02

sternenseemann's Repositories

sternenseemann/spacecookie
gopher library & server written in Haskell
Language:Haskell46 3 415
sternenseemann/buchstabensuppe
toy font rendering for low pixelcount, high contrast displays
Language:C8 4 12
sternenseemann/likely-music
experimental application for probabilistic music composition
Language:JavaScript8 5 31
sternenseemann/emoji-generic
Haskell Emoji Library [WIP]
Language:Haskell2 2 0
sternenseemann/nixpkgs
Nix Packages collection
Language:Nix1 3 0
sternenseemann/agenix
age-encrypted secrets for NixOS and Home manager
sternenseemann/bqn-mode
Emacs mode for BQN programming language
Language:Emacs Lisp2 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:Haskell2 0
sternenseemann/cl-json
Json encoder and decoder for Common-Lisp
Language:Common Lisp1 0
sternenseemann/distribution-nixpkgs
Types and functions to represent and manipulate the Nixpkgs distribution.
Language:Haskell2 0
sternenseemann/fieber
Classless and accessible CSS framework
sternenseemann/ghcjs
Haskell to JavaScript compiler, based on GHC
Language:Haskell2 0
sternenseemann/gitit
A wiki using HAppS, pandoc, and git
Language:Haskell2 0
sternenseemann/glib-stopgap
a stopgap package to use GLib from Haskell
Language:Haskell
sternenseemann/hs-memory
haskell memory
Language:Haskell0 0
sternenseemann/hydra
Hydra, the Nix-based continuous build system
sternenseemann/jacinda
Functional, expression-oriented data processing language
sternenseemann/napalm
Support for building npm packages in Nix and lightweight npm registry [maintainer @nmattia]
Language:Nix2 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/punycode
Punycode encoding and decoding
sternenseemann/random-extras
Additional functions for random values.
Language:Haskell2 0
sternenseemann/repology-rules
Package normalization ruleset for Repology
Language:Python1 0
sternenseemann/saneterm
Modern line-oriented terminal emulator without support for TUIs
sternenseemann/shairport-sync
AirPlay and AirPlay 2 audio player
sternenseemann/simple-pango
simple pango package
Language:Haskell
sternenseemann/solo5
A sandboxed execution environment for unikernels
sternenseemann/stackage
"Stable Hackage": vetted consistent packages from Hackage
Language:Dockerfile2 0
sternenseemann/tamarin-prover
Main source code repository of the Tamarin prover for security protocol verification.