stimjannik's Stars
VariantSync/Vatras
Agda Library to Study the Expressive Power of Languages for Static Variability
FeatureIDE/FeatJAR-formula
Propositional and first-order formulas
jhipster/generator-jhipster
JHipster is a development platform to quickly generate, develop, & deploy modern web applications & microservice architectures.
sp-uulm/FancyBeamerUULM
A beamer presentation template for easy animations
SoftVarE-Group/BibTags
A collection of cleaned BibTeX entries and tags to be used with MibTeX