summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* 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