Name: SoftVarE Group
Type: Organization
Bio: The working group for Software Variability and Evolution (SoftVarE) is headed by Prof. Thomas Thüm and located at the University of Ulm, Germany.
Twitter: softvare_uulm
Location: Germany
Blog: https://www.uni-ulm.de/in/sp/team/softvare-working-group/
as4moco
Algorithm selection for model counting
bibtags
A collection of cleaned BibTeX entries and tags to be used with MibTeX
brot
Source Code and Evaluation Data of the paper 'SAT Encodings of the At-Most-k Constraint - A Case Study on Configuring University Courses'
brotlibraryexample
Example Code for Using the SAT Encodings of BroT
course-on-software-product-lines
Material for lectures on software product lines
d-dnnf-reasoner
d4-oxide
A Rust wrapper around d4.
d4v2
emse-evaluation-sharpsat
Empirical evaluation for the EMSE journal extension "Evaluating State-of-the-Art #SAT Solvers on Industrial Configuration Spaces"
exploiting-ddnnfs-eval
Replication package for empirical evaluation on d-DNNFs for feature-model counting
feature-model-benchmark
fm-benchmark-evaluation
Computes various metrics for a given feature-model collection
fm-collection-replication-package
Replication Package for the literature survey on identifying a collection of feature models
glucose
The glucose SAT solver
incrementalsharpsat
kc-for-fmanalysis-evaluation
mibtex
Minimalistic tool to manage your references with BibTeX
mt-kahypar-sys
Rust bindings to Mt-KaHyPar.
papers
Preprints of research published by the SoftVarE group enriched with PDF comments on findings after publication.
profcalculator
An example project to illustrate coding guidelines, version control, and design patterns in a software engineering lecture in Ulm.
sat2024-as4moco-evaluation
Replication package for submission to SAT24 conference
scientific-writing
Slides for the lectures on scientific writing held at University of Ulm
slides
Slides of scientific presentations on research published by the SoftVarE group
slides-of-the-spl-course
Released version of slides for the lecture on software product lines
slidetemplate
A beamer latex template for slides and lectures at University of Ulm
software-engineering-2020-2021
Slides for the bachelor course on software engineering held at University of Ulm in 2020/2021
software-engineering-2021-2022
Slides for the bachelor course on software engineering held at University of Ulm in 2021/2022
thesistemplate
A template for bachelor, master, or PhD theses based on a template by Roland Bless and on a template by Martin Kuhlemann. The template is available for theses in English and in German. Bugs and recommendations are welcome.
uvl-playground
Web-based playground for trying out the Universal Variability Language
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
