Sebastian Erdweg's repositories
apron
Apron Numerical Abstract Domain Library
haskell-wasm
Haskell WebAssembly Toolkit
pcminer
PC-miner tool for program chairs
LambdaJS
Semantics and tools for JavaScript
IncA
Incremental Program Analysis Framework
master-thesis-template-cs-tudelft
Master thesis template for Computer Science at TU Delft
scala-lang
The Scala Website
soot
Soot - A Java optimization framework
mbeddr.core
The mbeddr core. An extensible C
OperatieBRP
Broncode programmatuur operatie Basisregistratie Personen (BRP)
actor-example
Two simple actor examples
pickling
Fast, customizable, boilerplate-free pickling support for Scala
xodus-entity-browser
Web UI entity browser for xodus database
limechat
IRC Client for Mac
shipshape
Program analysis platform
virtualization-lms-core
A Framework for Runtime Code Generation and Compiled DSLs
analyzexslt
Analyze XSLT stylesheets using Abstract Interpretation
java-util
Rarely available and hard-to-write Java utilities, written correctly, and thoroughly tested
thesis-pascal-wittmann
Master thesis