ramyshahin's repositories
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
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
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.
haskell
Some haskell code samples and experiments
KBuildMiner
Fork from Thorsten
kconfigreader
KConfigReader - accurate translation of kconfig files to propositional formulas