index
:
playground
master
place for smaller experiments which may or may not grow into larger things
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Commit message (
Expand
)
Author
Age
Files
Lines
*
isabelle env: expose the mkEnv function
stuebinm
2022-12-17
1
-7
/
+8
*
add isabelle 2022
stuebinm
2022-12-14
1
-14
/
+30
*
bump isabelle to 2021-1
stuebinm
2022-01-23
1
-2
/
+2
*
isabelle: allow bringing one's own nixpkgs
stuebinm
2022-01-22
1
-1
/
+2
*
obs-qmlview for nix
stuebinm
2021-09-11
3
-0
/
+110
*
playing around with IO in Nix
stuebinm
2021-07-20
3
-0
/
+260
*
isabelle fhs env for NixOS
stuebinm
2021-07-16
2
-0
/
+49
*
turing machine in nix
stuebinm
2021-06-08
2
-0
/
+110
*
nixos oci container: add tag option
stuebinm
2021-05-31
1
-1
/
+2
*
nixos-modules oci container: keep to the spec
stuebinm
2021-05-31
1
-2
/
+2
*
hakyll wrapped in a nix derivation
stuebinm
2021-05-28
19
-0
/
+638
*
pretty printing formulae for sequence calculus
stuebinm
2021-05-22
1
-0
/
+15
*
Sequence calculus in miniKanren
stuebinm
2021-05-19
2
-0
/
+113
*
nix oci container: add escape hatch to docker config
stuebinm
2021-05-17
1
-10
/
+11
*
better nix-modules in oci container
stuebinm
2021-05-12
2
-32
/
+47
*
nixos zoom iso: some comments on what this is
stuebinm
2021-05-08
1
-4
/
+19
*
experimenting with nixos modules in oci containers
stuebinm
2021-05-07
4
-0
/
+170
*
simple nixos-based live system that runs zoom
stuebinm
2021-04-13
2
-0
/
+39
*
simple ffi with rust and haskell
stuebinm
2021-04-11
8
-0
/
+82
*
age-wasm: add a function for asymmetric decryption
stuebinm
2021-04-04
1
-1
/
+20
*
age-wasm: move into subdirectory
stuebinm
2021-04-04
8
-4
/
+0
*
add simple readme
stuebinm
2021-04-04
1
-0
/
+21
*
usable interface for encryption (pubkey) and decryption (passphrase)
stuebinm
2021-04-04
4
-8
/
+2673
*
proof of concept: age in wasm in a browser
stuebinm
2021-04-01
6
-0
/
+1384
