summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* isabelle-fhsenv: add libraries for F# code genHEADmasterstuebinm2023-04-281-0/+2
* isabelle env: expose the mkEnv functionstuebinm2022-12-171-7/+8
* add isabelle 2022stuebinm2022-12-141-14/+30
* bump isabelle to 2021-1stuebinm2022-01-231-2/+2
* isabelle: allow bringing one's own nixpkgsstuebinm2022-01-221-1/+2
* obs-qmlview for nixstuebinm2021-09-113-0/+110
* playing around with IO in Nixstuebinm2021-07-203-0/+260
* isabelle fhs env for NixOSstuebinm2021-07-162-0/+49
* turing machine in nixstuebinm2021-06-082-0/+110
* nixos oci container: add tag optionstuebinm2021-05-311-1/+2
* nixos-modules oci container: keep to the specstuebinm2021-05-311-2/+2
* hakyll wrapped in a nix derivationstuebinm2021-05-2819-0/+638
* pretty printing formulae for sequence calculusstuebinm2021-05-221-0/+15
* Sequence calculus in miniKanrenstuebinm2021-05-192-0/+113
* nix oci container: add escape hatch to docker configstuebinm2021-05-171-10/+11
* better nix-modules in oci containerstuebinm2021-05-122-32/+47
* nixos zoom iso: some comments on what this isstuebinm2021-05-081-4/+19
* experimenting with nixos modules in oci containersstuebinm2021-05-074-0/+170
* simple nixos-based live system that runs zoomstuebinm2021-04-132-0/+39
* simple ffi with rust and haskellstuebinm2021-04-118-0/+82
* age-wasm: add a function for asymmetric decryptionstuebinm2021-04-041-1/+20
* age-wasm: move into subdirectorystuebinm2021-04-048-4/+0
* add simple readmestuebinm2021-04-041-0/+21
* usable interface for encryption (pubkey) and decryption (passphrase)stuebinm2021-04-044-8/+2673
* proof of concept: age in wasm in a browserstuebinm2021-04-016-0/+1384
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-21 18:05:45 +0000