Sandro Stucki

icon indicating a website link https://sstucki.github.io

icon location Gothenburg, Sweden

Results 3 repositories owned by Sandro Stucki

odds

34
Stars
8
Forks
34
Watchers

Probabilistic programming in Scala

verified publisher icon sstucki

pts-agda

27
Stars
6
Forks
27
Watchers

A formalization of Pure Type Systems (PTS) in Agda

verified publisher icon sstucki

system-f-agda

74
Stars
8
Forks
74
Watchers

A formalization of the polymorphic lambda calculus extended with iso-recursive types

verified publisher icon sstucki