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☆17Updated 5 months ago
- Pandoc-compatible templating system☆54Updated 7 months ago
- Material for UK-TUG's LaTeX for Beginners course☆27Updated 2 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆35Updated last year
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- A repository for examples of all kinds of OCL (Object Constraint Language) expressions☆24Updated 8 years ago
- This repository has been rewritten to move to the Eclipse Foundation. Find the old history here: https://github.com/TypeFox/Xpect☆34Updated 3 weeks ago
- A versioning file store backed by git, darcs, or mercurial☆35Updated 4 months ago
- BiBLaTeX style for Springer Lecture Notes in Computer Science☆14Updated 8 years ago
- gemoc-studio☆26Updated last month
- A blog about Coq☆10Updated 4 years ago
- Multinomials for the Mathematical Components library.☆14Updated last week
- JFact repository☆13Updated 3 years ago
- S-Match is a framework for semantic matching algorithms.☆10Updated 8 years ago
- KIELER Lightweight Diagams☆36Updated this week
- types for representing structured documents☆112Updated last year
- Source files for pandoc's website☆35Updated 3 weeks ago
- Simple tangler for Pandoc☆15Updated 2 years ago
- AceWiki is a semantic wiki based on controlled natural language.☆71Updated 2 months ago
- SMTInterpol interpolating SMT solver☆66Updated last week
- CTAN - gitinfo2.sty: Use git repository metadata in LaTeX documents☆43Updated 4 years ago
- Sources for OpenDreamKit's website☆16Updated last year
- Semantic Application Design Language (SADL) Open Source Code☆31Updated 7 months ago
- Getting started tutorials and cheat sheets for various technologies used in our projects.☆79Updated 5 years ago
- Maturity Model for the Enterprise Knowledge Graph☆13Updated 10 months ago
- A prettyprinting library designed for laying out plain text documents☆23Updated 7 months ago
- A few extra pandoc filters for academic writing (internal table/figure references, sideways, ...)☆11Updated 10 years ago
- ☆9Updated this week
- Modeling preferences and soft constraints -- qualitatively and quantitatively on top of MiniZinc☆17Updated last year
- XML:DB Initiative for XML Databases☆16Updated last week