joliebig / featurehouse
language independent software composition and merging
☆31Updated 7 years ago
Related projects: ⓘ
- An extensible framework for feature-oriented software development☆128Updated 4 months ago
- AceWiki is a semantic wiki based on controlled natural language.☆69Updated 6 months ago
- The Heterogeneous Tool Set☆57Updated 2 weeks ago
- Software Language Engineering Body of Knowledge☆47Updated 4 years ago
- Sequitur and RePair grammar induction algorithms implementation☆23Updated 9 months ago
- Automata and transducer library for .NET☆78Updated 4 years ago
- Benchmark problems for different models of automata, transducers, and related logics☆28Updated 2 years ago
- The BToolkit, a toolkit supporting software development with the B-method.☆34Updated 5 months ago
- The Melange Language Workbench☆28Updated last year
- VATA Tree Automata Library☆31Updated last month
- MONA - a decision procedure for monadic second-order logic on finite strings and trees☆47Updated 4 years ago
- Randomized testing for Prolog à la QuickCheck☆22Updated 5 years ago
- The semantics of Java in K☆18Updated 3 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated 7 months ago
- ☆34Updated 3 years ago
- Whole Platform Language Workbench☆27Updated 3 months ago
- a book about declarative language definition☆22Updated 8 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆41Updated 3 weeks ago
- Kodkod solver for relational logic☆72Updated last year
- Wviews is an artificial intelligence system extension for generating world view answer sets for epistemic logic programs☆8Updated 6 years ago
- Parser for Attempto Controlled English (ACE)☆183Updated 4 months ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated 9 months ago
- Library-based Language Extensibility☆39Updated 10 years ago
- Inconsistent Code Detection for Java☆11Updated 3 years ago
- Automatically exported from code.google.com/p/swoop☆33Updated 9 years ago
- Repository of teaching material for product lines and variability☆12Updated last year
- SMTInterpol interpolating SMT solver☆59Updated 2 months ago
- A rule engine based on Attempto Controlled English☆18Updated 11 months ago
- Type checking and logical inference for JetBrains MPS☆31Updated 2 weeks ago
- CHR: Leuven Constraint Handling Rules☆23Updated last week