jorsn

Pinned Repositories

blackknight
A terminal screen locker.
Language:Haskell1 3 01
flakegen
Flake inputs with the full power of Nixlang
Language:Nix21 3 22
infotheo
A Coq formalization of information theory and linear error-correcting codes
Language:Coq0 2 00
latexplates
My opinionated latex classes, packages, templates
Language:TeX0 2 00
matlab-nix-imperative
quick and dirty nix-shell wrapper for running an imperatively installed MATLAB in a nix FHS environment
Language:Nix6 3 20
scdm
The Simple Console Display Manager
Language:Shell1 3 10
texshell.nix
Nix flake providing quick access to multiple TeXlive versions
Language:Nix4 2 00
ubernix
home-manager on asteroids (uberspace)
Language:Nix1 4 10
nixpkgs
Nix Packages collection & NixOS
Language:Nix18.2k 275 42.4k14.2k

jorsn's Repositories

jorsn/blackknight
A terminal screen locker.
Language:Haskell1 3 01
jorsn/hbro
A minimal web-browser written and configured in Haskell.
Language:Haskell3 0
jorsn/htmldiff
A command-line script that shows text changes between two HTML files
Language:Python3 0
jorsn/notmuch-haskell
notmuch mail Haskell bindings
Language:Haskell
jorsn/open-scores
Some lilypond scores.
Language:LilyPond1 0
jorsn/schnappi
A small snapshotting script for btrfs.
Language:Shell3 0