Sandro Stucki's repositories
system-f-agda
A formalization of the polymorphic lambda calculus extended with iso-recursive types
f-omega-int-agda
F-omega with interval kinds mechanized in Agda
kappa-emacs
GNU/Emacs support for the Kappa language
Makefile.pdfTeX
Scripts for building LaTeX projects using GNU/Make
agda-categories
A new Categories library
Language:AgdaMIT000
agda-stdlib
The Agda standard library
KBOS
Tired of your bluetooth headphones pairing with a computer you thought was asleep ? This fixes that
Language:ShellMIT000
pa-ode-gen
The Preferential Attachment ODE GENerator
scala-parser-combinators
simple combinator-based parsing for Scala. formerly part of the Scala standard library, now a separate community-maintained module
sstucki.github.io
@sstucki's homepage
virtualization-lms-core
A Framework for Runtime Code Generation and Compiled DSLs