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 |
|