joliebig / featurehouse
language independent software composition and merging
☆31Updated 8 years ago
Alternatives and similar repositories for featurehouse:
Users that are interested in featurehouse are comparing it to the libraries listed below
- An extensible framework for feature-oriented software development☆131Updated last month
- Kodkod solver for relational logic☆74Updated last year
- The Heterogeneous Tool Set☆58Updated 2 months ago
- Inconsistent Code Detection for Java☆11Updated 4 years ago
- AceWiki is a semantic wiki based on controlled natural language.☆71Updated 2 months ago
- VATA Tree Automata Library☆32Updated 7 months ago
- The Melange Language Workbench☆29Updated last year
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆9Updated 9 years ago
- ☆34Updated 4 years ago
- Semantic flow graphs for data science☆28Updated 2 years ago
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated 2 years ago
- ☆10Updated 10 years ago
- Sequitur and RePair grammar induction algorithms implementation☆25Updated last year
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆35Updated last year
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- Library-based Language Extensibility☆39Updated 10 years ago
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆45Updated 2 years ago
- Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLi…☆22Updated 3 years ago
- Automata and transducer library for .NET☆80Updated 4 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- Language bindings for Maude☆21Updated 3 months ago
- VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.☆17Updated 7 years ago
- Graphs and grammars for Context-Free Path Querying algorithms evaluation.☆10Updated 6 months ago
- A LaTeX package for commenting multi-author documents☆10Updated 10 years ago
- Graph programming language☆80Updated this week
- ☆20Updated last year
- Whole Platform Language Workbench☆27Updated 10 months ago
- QFeldspar: a QDSL front-end for MiniFeldspar☆14Updated 9 years ago
- Archive of monolithic GF repository until 2018-07-25☆189Updated 6 years ago
- Randomized testing for Prolog à la QuickCheck☆23Updated 5 years ago