Commit graph

5 commits

Author SHA1 Message Date
Artemis Tosini e5c655eafb
add scripts, the start of a monte-carlo 2020-01-29 17:15:12 +00:00
Artemis Tosini 1b55a9c1e4
Switch executable scripts to use nix-shell 2019-04-25 03:01:06 +00:00
Artemis Tosini 15572c8319
Add wii rename and strange_size script 2019-04-25 02:58:36 +00:00
Artemis Tosini cdab9d90a1
A bunch of changers I neglected to commit earlier
Strange size things (i7 in llvm)
Hellp world in idris
A rolldice test
pppassword changes to add b
2018-12-09 23:54:13 +00:00
Artemis Tosini b3fa4050c1
Start pppassword 2018-09-14 19:07:05 +00:00