Pinned Repositories
f-omega-int-agda
F-omega with interval kinds mechanized in Agda
kappa-emacs
GNU/Emacs support for the Kappa language
lms-kappa
LMS-based Kappa simulator
Makefile.pdfTeX
Scripts for building LaTeX projects using GNU/Make
minion
Minion – a gray-box monitor for data minimality
odds
Probabilistic programming in Scala
pts-agda
A formalization of Pure Type Systems (PTS) in Agda
system-f-agda
A formalization of the polymorphic lambda calculus extended with iso-recursive types
sstucki's Repositories
sstucki/system-f-agda
A formalization of the polymorphic lambda calculus extended with iso-recursive types
sstucki/odds
Probabilistic programming in Scala
sstucki/pts-agda
A formalization of Pure Type Systems (PTS) in Agda
sstucki/f-omega-int-agda
F-omega with interval kinds mechanized in Agda
sstucki/lms-kappa
LMS-based Kappa simulator
sstucki/kappa-emacs
GNU/Emacs support for the Kappa language
sstucki/Makefile.pdfTeX
Scripts for building LaTeX projects using GNU/Make
sstucki/minion
Minion – a gray-box monitor for data minimality
sstucki/agda-categories
A new Categories library
sstucki/agda-stdlib
The Agda standard library
sstucki/dotty
Research platform for new language concepts and compiler technologies for Scala.
sstucki/KBOS
Tired of your bluetooth headphones pairing with a computer you thought was asleep ? This fixes that
sstucki/pa-ode-gen
The Preferential Attachment ODE GENerator
sstucki/scala
The Scala programming language
sstucki/scala-parser-combinators
simple combinator-based parsing for Scala. formerly part of the Scala standard library, now a separate community-maintained module
sstucki/scala.github.com
sstucki/sstucki.github.io
@sstucki's homepage
sstucki/virtualization-lms-core
A Framework for Runtime Code Generation and Compiled DSLs