Alternatives and similar repositories for lecture-notes:

Users that are interested in lecture-notes are comparing it to the libraries listed below

• ftsrg / gamma
  An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
  ☆31Updated this week
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated last year
• markusvoelter / mpsintrocourse
  ☆43Updated 11 months ago
• viatra / VIATRA-Generator
  An efficient graph solver for generating well-formed models
  ☆26Updated 2 years ago
• eclipse-sirius / sirius-web
  Sirius Web: open-source low-code platform to define custom web applications supporting your specific visual languages
  ☆85Updated this week
• altran-mde / xtext-sirius-integration
  Xtext/Sirius Integration
  ☆21Updated last month
• modelix / modelix
  A collaborative and scalable open source platform for domain-specific models on the web and in the cloud
  ☆69Updated 9 months ago
• sosy-lab / sv-benchmarks
  Collection of Verification Tasks (MOVED, please follow the link)
  ☆183Updated 3 years ago
• eclipse / xsemantics
  Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…
  ☆32Updated last year
• sosy-lab / java-smt
  JavaSMT - Unified Java API for SMT solvers.
  ☆195Updated this week
• itemis / xtext-languageserver-example
  An Example for an Xtext Language Server
  ☆55Updated last year
• ultimate-pa / ultimate
  The Ultimate program analysis framework.
  ☆206Updated this week
• prismmodelchecker / prism
  The main development version of the PRISM model checker.
  ☆163Updated this week
• MDEGroup / MDEForge
  MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…
  ☆22Updated 2 years ago
• LorenzoBettini / edelta
  An Xtext DSL for EMF metamodels refactoring and migration
  ☆12Updated last week
• svenefftinge / xtext-lsp-workshop
  Tutorial: Building a language server for your DSL with Xtext
  ☆28Updated last year
• emfjson / ecore.js
  Ecore for JavaScript
  ☆66Updated 6 years ago
• OpenJML / OpenJML
  This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…
  ☆149Updated this week
• LorenzoBettini / packtpub-xtext-book-2nd-examples
  This contains the examples for the book "Implementing Domain-Specific Languages with Xtext and Xtend, 2nd edition"
  ☆72Updated 4 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆133Updated 5 months ago
• loonwerks / jkind
  JKind - An infinite-state model checker for safety properties in Lustre
  ☆53Updated last week
• eclipse-emfcloud / emfcloud-modelserver
  Modelserver component
  ☆45Updated last week
• theia-ide / theia-xtext
  A Theia Application with DSL support through an Xtext Language Server
  ☆29Updated 2 years ago
• atlanmod / NeoEMF
  Multi-backend EMF persistence framework.
  ☆51Updated 3 months ago
• catedrasaes-umu / emf4cpp
  Eclipse Modeling Framework for C++
  ☆45Updated 3 years ago
• souffle-lang / souffle
  Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program f…
  ☆945Updated last month
• smackers / smack
  SMACK Software Verifier and Verification Toolchain
  ☆432Updated 2 months ago
• eclipsesource / emf4che
  Support for the Eclipse Modeling Framework (EMF) in Eclipse Che
  ☆15Updated 7 years ago
• cdietrich / xtext-languageserver-example
  An Example for an Xtext Language Server
  ☆35Updated this week
• szabta89 / IncA
  Incremental Program Analysis Framework
  ☆90Updated 3 years ago