All Git Users → samuelgruetter

2 open source projects by samuelgruetter

[ Open user page on Github ]

1. dot-calculus

Formalization of the Dependent Object Types (DOT) calculus

✭ 59

2. rx-playground

Some GUI examples in Java/Scala using Reactive Extensions

✭ 46

scala java shell

1-2 of 2 user projects