Sandro Stucki (sstucki)

sstucki

Geek Repo

Location:Gothenburg, Sweden

Home Page:https://sstucki.github.io

Github PK Tool:Github PK Tool

Sandro Stucki's repositories

system-f-agda

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

Language:AgdaLicense:MITStargazers:66Issues:3Issues:0

odds

Probabilistic programming in Scala

Language:ScalaLicense:NOASSERTIONStargazers:34Issues:13Issues:2

pts-agda

A formalization of Pure Type Systems (PTS) in Agda

Language:AgdaLicense:NOASSERTIONStargazers:22Issues:2Issues:0

f-omega-int-agda

F-omega with interval kinds mechanized in Agda

Language:AgdaLicense:MITStargazers:13Issues:2Issues:0

lms-kappa

LMS-based Kappa simulator

kappa-emacs

GNU/Emacs support for the Kappa language

Language:Emacs LispLicense:GPL-3.0Stargazers:5Issues:2Issues:9

Makefile.pdfTeX

Scripts for building LaTeX projects using GNU/Make

Language:ShellLicense:MITStargazers:1Issues:0Issues:0

minion

Minion – a gray-box monitor for data minimality

Language:ScalaLicense:MITStargazers:1Issues:0Issues:0

agda-categories

A new Categories library

Language:AgdaLicense:MITStargazers:0Issues:0Issues:0

agda-stdlib

The Agda standard library

Language:AgdaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

dotty

Research platform for new language concepts and compiler technologies for Scala.

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:1Issues:0

KBOS

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

Language:ShellLicense:MITStargazers:0Issues:0Issues:0

pa-ode-gen

The Preferential Attachment ODE GENerator

Language:ScalaLicense:MITStargazers:0Issues:1Issues:0

scala

The Scala programming language

Language:ScalaStargazers:0Issues:1Issues:0

scala-parser-combinators

simple combinator-based parsing for Scala. formerly part of the Scala standard library, now a separate community-maintained module

Language:ScalaLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0
Language:JavaScriptStargazers:0Issues:2Issues:0

sstucki.github.io

@sstucki's homepage

Language:TeXLicense:NOASSERTIONStargazers:0Issues:1Issues:0

virtualization-lms-core

A Framework for Runtime Code Generation and Compiled DSLs

Language:ScalaStargazers:0Issues:3Issues:0