useocl / use
Home of the UML-based Specification Environment (USE)
☆43Updated last week
Related projects ⓘ
Alternatives and complementary repositories for use
- How to think like a programmer.☆35Updated 8 months ago
- The Melange Language Workbench☆28Updated last year
- Epsilon is a family of Java-based scripting languages for automating common model-based software engineering tasks, such as code generati…☆66Updated this week
- MPS-extensions aims to ease language development within MPS.☆83Updated this week
- Refinery: an efficient graph solver for generating well-formed models☆15Updated last week
- ☆49Updated this week
- Flybytes is an intermediate language between JVM bytecode and software languages (DSLs, PLs), for compilation and decompilation.☆17Updated 2 weeks ago
- A DSL for developing grid-based arcade-style games. Because, .... fun!☆15Updated last year
- This repository hosts all the projects used in the MDSE Book☆15Updated 5 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆13Updated 2 years ago
- Der Code meines 4X-Rundenstrategiespiels. The Code of my 4X turn-based strategy game.☆20Updated this week
- ☆14Updated this week
- GNU Prolog☆106Updated last year
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated last year
- A clone of the sourceforge GnuCOBOL compiler from COBOL to C.☆22Updated this week
- A collaborative and scalable open source platform for domain-specific models on the web and in the cloud☆68Updated 7 months ago
- SchXslt2 Schematron to XSLT 3.0 transpiler☆11Updated last week
- xtext-core☆117Updated last year
- A client/server for trying out and learning about ANTLR☆39Updated 3 months ago
- A reasoning system for large knowledge bases.☆29Updated 5 months ago
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated 11 months ago
- Glacier is a type annotation extension to Java that enforces transitive class immutability.☆12Updated 3 years ago
- ☆84Updated this week
- MontiCore is a language workbench for an efficient development of domain-specific languages.☆83Updated this week
- JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)☆51Updated 2 months ago
- Full-fledged industrial environment for scientific computing and High Performance Computing☆18Updated last year
- Miscellaneous tasks that were found useful when building MPS-based projects with Gradle.☆14Updated last month
- Extract license information from content.☆48Updated 2 weeks ago
- TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.☆29Updated this week
- This repository has been rewritten to move to the Eclipse Foundation. Find the old history here: https://github.com/TypeFox/Xpect☆32Updated 3 weeks ago