Sandro Stucki Sandro Stucki

Tracking 248 commits to 21 open source packages


Company: EPFL

Location: Lausanne, Switzerland


Repositories

sstucki/odds
Probabilistic programming in Scala
Scala - BSD-3-Clause - Last pushed - 35 stars - 6 forks
sstucki/system-f-agda
A formalization of the polymorphic lambda calculus extended with iso-recursive types
Agda - MIT - Last pushed - 32 stars - 5 forks
sstucki/pts-agda
A formalization of Pure Type Systems (PTS) in Agda
Agda - Other - Last pushed - 11 stars - 3 forks
sstucki/kappa-emacs
GNU/Emacs support for the Kappa language
Emacs Lisp - GPL-3.0 - Last pushed - 2 stars - 4 forks
sstucki/lms-kappa
LMS-based Kappa simulator
Scala - Last pushed - 7 stars - 3 forks
sstucki/f-omega-int-agda
F-omega with interval kinds mechanized in Agda
Agda - MIT - Last pushed - 2 stars
See all Sandro Stucki's repositories

Repositories Contributed To

manojo/experiments
Scala - Last pushed - 3 stars
mkordulewski/scala.pl
mushroom Polish Scala website
This repository is no longer available - 0 stars
ravimad/Orb2015
An inference engine for Leon (https://github.com/epfl-lara/leon) that verifies resource bounds of...
Scala - Other - Last pushed - 2 stars - 1 forks
gzm0/ct-notes
Notes for category theory sessions at LAMP
TeX - Last pushed - 0 stars
XilunWu/my-tutorial
Merge LFT-Join into lms_tutorial
Scala - Last pushed - 0 stars
TiarkRompf/virtualization-lms-core
A Framework for Runtime Code Generation and Compiled DSLs
Scala - BSD-3-Clause - Last pushed - 229 stars - 80 forks
See all Sandro Stucki's contributions

Last synced: 2017-02-17 19:03:19 UTC

Login to resync this page