dan

0 Followers · 0 Following

• Joined on 2019-07-30

Repositories

14

Projects Packages Public Activity Starred Repositories

dan created repository dan/HITs-Examples 2019-07-30 15:16:50 +02:00

dan pushed to master at dan/rushby-noninterference 2019-07-30 11:07:37 +02:00

517748db8a add a fair warning to README.md

4dd4e4f383 Cleanup

8601f7c673 cleanup attempt

3e04c9afef Update Rushby.v to std++

855ac3eff4 Initial import from darcs

dan created repository dan/rushby-noninterference 2019-07-30 11:07:04 +02:00

dan pushed to guile_support at dan/TIC-80-guile 2019-07-30 11:06:32 +02:00

9c77cd61cf safer evaluation

746b94599a WIP: guile support

7369fcac75 Merge pull request #840 from technomancy/resume-reload

d902d6ab74 When --watch flag is passed, reload all the code upon resume.

c2099ee1f7 Merge pull request #839 from buckle2000/patch-1

dan created repository dan/TIC-80-guile 2019-07-30 11:05:22 +02:00

dan created repository dan/ocaml-wiringpi 2019-07-30 11:04:39 +02:00

dan pushed to master at dan/czf 2019-07-30 11:02:35 +02:00

3da73646d1 add big_union

0578569c09 stronger collection

c9f427f737 Hacky version of the Collection axiom

a27e73014c extensionality

ea05bc91fd Separation axiom

dan created repository dan/czf 2019-07-30 11:02:22 +02:00

dan pushed to master at dan/hoare-completeness 2019-07-30 10:46:57 +02:00

198a61611d Add disclamer

0c55194a2f cleanup

aa65e1af67 Initial import

dan created repository dan/hoare-completeness 2019-07-30 10:46:02 +02:00

dan pushed to master at dan/scripts 2019-07-30 10:44:43 +02:00

d1cb291299 osz-extract

f3491e803e record sound script

dan created repository dan/scripts 2019-07-30 10:43:08 +02:00