Samuel Gruetter

icon indicating a website link https://samuelgruetter.net/blog/

icon company MIT

Results 3 repositories owned by Samuel Gruetter

dot-calculus

61
Stars
10
Forks
Watchers

Formalization of the Dependent Object Types (DOT) calculus

verified publisher icon samuelgruetter

rx-playground

45
Stars
10
Forks
Watchers

Some GUI examples in Java/Scala using Reactive Extensions

verified publisher icon samuelgruetter

srewrite

15
Stars
1
Forks
Watchers

rewrite Scala code avoiding usage of "bad" features and staying as close as possible to original source

verified publisher icon samuelgruetter