Beast code in Giters

Sebastian Erdweg's repositories

hygienic-transformations

Language:ScalaLGPL-3.04 5 1

incremental

Language:Scala3 60

djc-lang

Language:Scala2 30

i3QL

Language:Scala1 40

actor-example

Two simple actor examples

Language:Scala020

analyzexslt

Analyze XSLT stylesheets using Abstract Interpretation

Language:XSLT020

apron

Apron Numerical Abstract Domain Library

Language:CNOASSERTION000

build-java-bug-example

Language:Java020

gradual-db

Language:Scala020

grammar-graphs

Language:JavaScript020

haskell-wasm

Haskell WebAssembly Toolkit

Language:WebAssemblyNOASSERTION010

IncA

Incremental Program Analysis Framework

EPL-2.0030

inca-experiments

030

java-util

Rarely available and hard-to-write Java utilities, written correctly, and thoroughly tested

Language:JavaApache-2.0020

LambdaJS

Semantics and tools for JavaScript

Language:C++NOASSERTION020

limechat

IRC Client for Mac

Language:Objective-C020

master-thesis-template-cs-tudelft

Master thesis template for Computer Science at TU Delft

Language:TeX020

mbeddr.core

The mbeddr core. An extensible C

Language:JavaEPL-1.0030

metaborg.github.io

Language:JavaScriptMIT020

OperatieBRP

Broncode programmatuur operatie Basisregistratie Personen (BRP)

Language:JavaAGPL-3.0020

pcminer

PC-miner tool for program chairs

Language:HTML010

pickling

Fast, customizable, boilerplate-free pickling support for Scala

Language:ScalaBSD-3-Clause020

pp-haskell

Language:HaskellBSD-3-Clause020

scala-lang

The Scala Website

Language:CSSNOASSERTION020

shipshape

Program analysis platform

Language:GoApache-2.0020

soot

Soot - A Java optimization framework

Language:JavaLGPL-2.1020

thesis-pascal-wittmann

Master thesis

Language:TeX030

type-pragmatics

Language:Java020

virtualization-lms-core

A Framework for Runtime Code Generation and Compiled DSLs

Language:Scala020

xodus-entity-browser

Web UI entity browser for xodus database

Language:JavaScriptApache-2.0020