summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterobs-qmlview for nixstuebinm3 months
 
 
AgeCommit messageAuthorFilesLines
2021-09-11obs-qmlview for nixHEADmasterstuebinm3-0/+110
2021-07-20playing around with IO in Nixstuebinm3-0/+260
2021-07-16isabelle fhs env for NixOSstuebinm2-0/+49
2021-06-08turing machine in nixstuebinm2-0/+110
2021-05-31nixos oci container: add tag optionstuebinm1-1/+2
2021-05-31nixos-modules oci container: keep to the specstuebinm1-2/+2
2021-05-28hakyll wrapped in a nix derivationstuebinm19-0/+638
2021-05-22pretty printing formulae for sequence calculusstuebinm1-0/+15
2021-05-19Sequence calculus in miniKanrenstuebinm2-0/+113
2021-05-17nix oci container: add escape hatch to docker configstuebinm1-10/+11
[...]