ramyshahin

ProductLineAnalysis

Some libraries and utilities for Software Product Line (SPL) analysis

variability

Theorems and proofs of variability-aware algorithms.

java-typestate-checker

JaTyC: a typestate checker for Java

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

TAPL

Benjamin Pierce's "Types And Programming Languages" type checker implementations.

FileIOExp

Some Experiments on Linux Usermode/Kernelmode File I/O performance

TypeChef

Type checking ifdef variability

QDine

Dining Philosophers, Quantum!

doop-lifted-data

bvr

Base Variability Resolution (BVR) metamodel, engine and editors

flix

The Flix Programming Language

ClangEx

A Clang-based C/C++ fact extractor. Generates a tuple-attribute file from corresponding source code facts.

TCPServer

haskell

Some haskell code samples and experiments

KBuildMiner

Fork from Thorsten

kconfigreader

KConfigReader - accurate translation of kconfig files to propositional formulas

htabletx