sternenseemann

sternenseemann's repositories

spacecookie

gopher library & server written in Haskell

Language:HaskellGPL-3.046 3 41

buchstabensuppe

toy font rendering for low pixelcount, high contrast displays

Language:CBSD-3-Clause8 4 1

likely-music

experimental application for probabilistic music composition

Language:JavaScriptAGPL-3.08 5 3

emoji-generic

Haskell Emoji Library [WIP]

Language:HaskellLGPL-3.02 30

nixpkgs

Nix Packages collection

Language:NixMIT1 30

agenix

age-encrypted secrets for NixOS and Home manager

CC0-1.0000

bqn-mode

Emacs mode for BQN programming language

Language:Emacs LispNOASSERTION020

cabal

Official upstream development repository for Cabal and cabal-install

Language:HaskellNOASSERTION020

cabal2nix

Generate Nix build instructions from a Cabal file

Language:HaskellNOASSERTION020

cl-json

Json encoder and decoder for Common-Lisp

Language:Common LispNOASSERTION020

distribution-nixpkgs

Types and functions to represent and manipulate the Nixpkgs distribution.

Language:HaskellNOASSERTION020

fieber

Classless and accessible CSS framework

MIT000

ghcjs

Haskell to JavaScript compiler, based on GHC

Language:HaskellMIT020

gitit

A wiki using HAppS, pandoc, and git

Language:HaskellGPL-2.0020

glib-stopgap

a stopgap package to use GLib from Haskell

Language:HaskellBSD-3-Clause000

hs-memory

haskell memory

Language:HaskellNOASSERTION000

hydra

Hydra, the Nix-based continuous build system

GPL-3.0000

jacinda

Functional, expression-oriented data processing language

Language:HaskellNOASSERTION030

napalm

Support for building npm packages in Nix and lightweight npm registry [maintainer @nmattia]

Language:Nix020

nix

Nix, the purely functional package manager

Language:C++LGPL-2.1020

nix-community-infra

nix-community infrastructure [maintainer=@Mic92]

Language:NixMIT000

punycode

Punycode encoding and decoding

NOASSERTION000

random-extras

Additional functions for random values.

Language:HaskellBSD-3-Clause020

repology-rules

Package normalization ruleset for Repology

Language:PythonGPL-3.0010

saneterm

Modern line-oriented terminal emulator without support for TUIs

GPL-3.0000

shairport-sync

AirPlay and AirPlay 2 audio player

NOASSERTION000

simple-pango

simple pango package

Language:HaskellBSD-3-Clause000

solo5

A sandboxed execution environment for unikernels

ISC000

stackage

"Stable Hackage": vetted consistent packages from Hackage

Language:DockerfileMIT020

tamarin-prover

Main source code repository of the Tamarin prover for security protocol verification.

GPL-3.0000