Beast code in Giters

Sandro Stucki's starred repositories

Tired of your bluetooth headphones pairing with a computer you thought was asleep ? This fixes that

Language:ShellMIT14700

A simple train simulator in c

Language:CGPL-3.0100

Implementation of monotone frameworks in Agda

Language:Agda600

Linear Dependent Types for Differential Privacy TypeChecker

Language:OCamlBSD-3-Clause3100

Graph rewriting library for Scala

Language:Scala800

Small Scala.js web app to compute ODEs for graph transformation systems

Language:Scala200

A new Categories library for Agda

Language:AgdaMIT35000

Experiments with NbE for all sorts of funky monadic extensions of STLC

Language:Agda100

A simple visual editor for creating commutative diagrams.

Language:JavaScriptMIT184800

Mechanized formalization of Implicit resolution in Agda

Language:AgdaMIT600

GNU/Emacs support for the Kappa language

Language:Emacs LispGPL-3.0500

Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at

Language:OCamlLGPL-3.010600