This is your work, valued

Gidon Ernst

Advanced
@gernst
gidonernst.de

korn. Korn - C Verification with Loop Invariants and Summaries

12

cuvee. A tool for Boogie and SMT-LIB engineering

5

verifythis2020. Material and solutions for the VerifyThis long term challenge 2020 https://verifythis.github.io

3

ulang-proto. Minimal untyped functional programming language based on tagged values and pattern matching

1

connections. Material and code for CONNECTIONS by http://fuzzybinaires.org

1

bluesbot. Plays an infinitely long 16 bar blues in Am using SonicPI

1