summaryrefslogtreecommitdiff
Commit message (Collapse)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
| | | | | | | | | | turns out you can break the image spec in subtle ways and instead of telling anyone about it, docker will just guess what was meant and do whatever. podman won't, and actually keeps to the spec. it should work with both now ...
* hakyll wrapped in a nix derivationstuebinm2021-05-2819-0/+638
| | | | (see the Readme.org file for more information)
* pretty printing formulae for sequence calculusstuebinm2021-05-221-0/+15
| | | | | | problem: minikanren may return a set of constraints, which aren't very obvious for how to pretty-print them (currently they're just displayed as an empty []).
* Sequence calculus in miniKanrenstuebinm2021-05-192-0/+113
| | | | barfing out tautologies for free!
* nix oci container: add escape hatch to docker configstuebinm2021-05-171-10/+11
| | | | | | | | This now allows to write arbitrary values into the config of the docker containers generated, if so desired. It also now creates working directories /before/ executing any preStart scripts (which would lead to crashes before).
* better nix-modules in oci containerstuebinm2021-05-122-32/+47
| | | | | | | | Short overview: - cleaner code - more comments - support for systemd services that are configured via `serviceConfig` - got rid of bash (using dash for everything now)
* nixos zoom iso: some comments on what this isstuebinm2021-05-081-4/+19
|
* experimenting with nixos modules in oci containersstuebinm2021-05-074-0/+170
| | | | See the Readme.org file for what this is.
* simple nixos-based live system that runs zoomstuebinm2021-04-132-0/+39
| | | | | | | the nixos-installer is non writable by default, so this is basically a completely stateless system that can run any software which I don't normally want to run (with some exceptions), but still frequently need for some reason ...
* simple ffi with rust and haskellstuebinm2021-04-118-0/+82
| | | | so far, only calling rust from haskell, not the other way round.
* age-wasm: add a function for asymmetric decryptionstuebinm2021-04-041-1/+20
| | | | | | | This is intended for misusing an age private key as "passphrase" for decrypting a document. This is not really recommended, but it is useful, since symmetric encryption in web assembly takes some orders of magnitude (1-2 minutes) longer than asymmetric decryption.
* 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