samuelgruetter/agda-summer-school
Summer school on programming in Agda
Developer Profile
samuelgruetter
Discovered public repositories for samuelgruetter in the GitHub catalog.
samuelgruetter/typesafety-proofs-spring14
semester project
samuelgruetter/dotty
Research platform for new language concepts and compiler technologies for Scala.
samuelgruetter/scala
The Scala programming language
samuelgruetter/srewrite-test
Example project for srewrite
samuelgruetter/srewrite
rewrite Scala code avoiding usage of "bad" features and staying as close as possible to original source
samuelgruetter/reactive-programming-scala
Public repository.
samuelgruetter/CourseraCodeSamplesReactiveProgramming
Public repository.
samuelgruetter/RxJava
RxJava - a library for composing asynchronous and event-based programs using observable sequences for the Java VM.
samuelgruetter/rx-playground
Some GUI examples in Java/Scala using Reactive Extensions
samuelgruetter/dot
formalization of the Dependent Object Types (DOT) calculus
samuelgruetter/type-systems-spring13
semester project
samuelgruetter/try_git
Public repository.