List all projects
Project Description Last Change
git-remote-gpg.git Tool for encrypting a remote Git repository with GnuPG 10 months ago
haskell/interval.git Library for intervals with adherences 4 years ago
haskell/localization.git Library for localization 2 years ago
haskell/symantic-atom.git Library for Atom 8 months ago
haskell/symantic-base.git Library for basic symantic combinators 5 months ago
haskell/symantic-cli.git Library for Command Line Interface 8 months ago
haskell/symantic-document.git Library for writing documents 10 months ago
haskell/symantic-http.git Library for HTTP 14 months ago
haskell/symantic-parser.git Library for parsing 11 days ago
haskell/symantic-xml.git Library for XML and RelaxNG 8 months ago
haskell/symantic.git Library for Typed Tagless-Final Higher-Order Composable DSL 18 months ago
haskell/treemap.git Library for a tree of Data.Map 2 years ago
haskell/treeseq.git Library for a rose tree, using a finger tree for forests 9 months ago
judgmentphile-libreoffice.git Macro LibreOffice en Python pour du Jugement Majoritaire No commits
judgmentphile.git Tools for voting with Majority Judgment and Helios-C 9 months ago
julm/AoC-2020.git julm's Advent of Code 2020 7 weeks ago
julm/air-duino.git julm's air quality station for Seeeduino 10 days ago
julm/julm-nix.git julm's NixOS and home-manager configs 8 days ago
julm/violon-tex.git julm's violin scores TeX engine 7 years ago
ledgerphile.git Tools for accounting 2 years ago
relotophile-libreoffice.git Macro LibreOffice en Python pour du Tirage au sort... No commits
relotophile.git Tools for publicly verifiable draws 10 months ago
sourcephile-nix.git NixOS configurations for Sourcephile's infrastructure 29 hours ago
sourcephile-src.git One Git to gather all code sources 10 months ago
sourcephile-txt.git Texts for organizing Sourcephile 3 weeks ago
sourcephile-web.git Website of Sourcephile 2 months ago
sourcephile.git One Git to rule them all No commits
testing.git Unnamed repository; edit this file 'description' to... No commits
textphile.git Tools for writing technical documents 9 months ago