Samuel Gruetter's repositories
type-systems-spring13
semester project
typesafety-proofs-spring14
semester project
agda-summer-school
Summer school on programming in Agda
Language:Agda000
Language:Scala000
dot
formalization of the Dependent Object Types (DOT) calculus
Language:Coq000
RxJava
RxJava - a library for composing asynchronous and event-based programs using observable sequences for the Java VM.
Language:JavaApache-2.0000
scala
The Scala programming language
Language:Scala000
srewrite-test
Example project for srewrite
000