ELTE-Soft / txtUML
Textual, eXecutable, Translatable UML
☆26Updated 5 years ago
Alternatives and similar repositories for txtUML:
Users that are interested in txtUML are comparing it to the libraries listed below
- A collection of resources to dive into making OSLC applications☆16Updated 3 months ago
- gemoc-studio☆25Updated 2 months ago
- Reasoner for the description logic EL+.☆14Updated last month
- Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations☆15Updated last month
- KIELER Lightweight Diagams☆36Updated 2 weeks ago
- This is a clone of an SVN repository at svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk. It had been cloned by http://svn2github.…☆9Updated 7 years ago
- Semantic Application Design Language (SADL) Open Source Code☆30Updated 5 months ago
- emfjson-jackson☆18Updated 7 months ago
- SMTInterpol interpolating SMT solver☆62Updated 7 months ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆34Updated last year
- Open-source implementation of the Action Language for fUML (Alf) specification.☆30Updated last year
- lyo.designer☆12Updated last week
- The Heterogeneous Tool Set☆57Updated this week
- The Overture Tool☆48Updated 3 months ago
- OSLC OP specifications and notes☆26Updated last week
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆51Updated this week
- Mutation analysis tool for Coq verification projects☆30Updated 4 years ago
- ☆19Updated 7 years ago
- DLVHEX solver: core system and plugin API☆25Updated 5 years ago
- The ABS modeling language and surrounding tools☆36Updated 3 weeks ago
- A course on free/libre and open source software☆10Updated 11 months ago
- QuiXDM is an ubiquitous open-source implementation of a Streaming Data Model to process XML, JSON, YAML, RDF, CSV, HTML☆13Updated 3 years ago
- Glacier is a type annotation extension to Java that enforces transitive class immutability.☆13Updated 3 years ago
- Java bindings for LLVM libraries☆8Updated 3 years ago
- XForms to XHTML+Javascript (AJAX) conversion based on a unique XSL transformation. Suitable server-side (PHP) or client-side (Google Chro…☆37Updated 6 years ago
- The VerCors verification toolset for verifying parallel and concurrent software☆67Updated this week
- (READ ONLY MIRROR) The ProB Model Checker and Animator Plugin for Rodin☆19Updated last month
- Github Pages for DocBook CDN☆18Updated last month
- Specification Integration Facility - schema, constraint checker and examples☆15Updated 2 weeks ago
- Graph-based incremental static analysis of ECMAScript 6 source code repositories☆19Updated 6 years ago