Pinned Repositories
bvr
Base Variability Resolution (BVR) metamodel, engine and editors
ClangEx
A Clang-based C/C++ fact extractor. Generates a tuple-attribute file from corresponding source code facts.
doop-lifted-data
FileIOExp
Some Experiments on Linux Usermode/Kernelmode File I/O performance
flix
The Flix Programming Language
haskell
Some haskell code samples and experiments
htabletx
ProductLineAnalysis
Some libraries and utilities for Software Product Line (SPL) analysis
QDine
Dining Philosophers, Quantum!
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.
ramyshahin's Repositories
ramyshahin/QDine
Dining Philosophers, Quantum!
ramyshahin/ProductLineAnalysis
Some libraries and utilities for Software Product Line (SPL) analysis
ramyshahin/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.
ramyshahin/bvr
Base Variability Resolution (BVR) metamodel, engine and editors
ramyshahin/ClangEx
A Clang-based C/C++ fact extractor. Generates a tuple-attribute file from corresponding source code facts.
ramyshahin/doop-lifted-data
ramyshahin/FileIOExp
Some Experiments on Linux Usermode/Kernelmode File I/O performance
ramyshahin/flix
The Flix Programming Language
ramyshahin/haskell
Some haskell code samples and experiments
ramyshahin/htabletx
ramyshahin/java-typestate-checker
JaTyC: a typestate checker for Java
ramyshahin/KBuildMiner
Fork from Thorsten
ramyshahin/kconfigreader
KConfigReader - accurate translation of kconfig files to propositional formulas
ramyshahin/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.
ramyshahin/TAPL
Benjamin Pierce's "Types And Programming Languages" type checker implementations.
ramyshahin/TCPServer
ramyshahin/TypeChef
Type checking ifdef variability
ramyshahin/variability
Theorems and proofs of variability-aware algorithms.