Alternatives and similar repositories for Prog2-Lecture

Users that are interested in Prog2-Lecture are comparing it to the libraries listed below

• Dungeon-CampusMinden / Dungeon
  The "Dungeon" is a tool to gamify classroom content and integrate it into a 2D Rogue-Like role-playing game.
  ☆21Updated this week
• ls1intum / Ares
  The Artemis Java Test Sandbox. A JUnit 5 Extension for Easy and Secure Artemis Java Testing
  ☆22Updated this week
• bptlab / chimera
  Chimera: Execution Engine for Case Management
  ☆14Updated 4 years ago
• TUBAF-IfI-LiaScript / VL_SoftwareprojektRobotik
  Vorlesung Softwareprojekt TU Bergakademie Freiberg
  ☆22Updated 7 months ago
• markusvoelter / ProgrammingBasics
  How to think like a programmer.
  ☆38Updated last year
• JabRef / jabref-koppor
  Collection of simple for JabRef issues. Please submit PRs to https://github.com/jabRef/jabref/.
  ☆12Updated this week
• CommonWealthRobotics / mujoco-java
  Java JNI binding for mujoco physics system
  ☆12Updated 4 months ago
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆85Updated this week
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated 2 months ago
• diverse-project / melange
  The Melange Language Workbench
  ☆29Updated last year
• eclipse-agileuml / agileuml
  AgileUML tools for MDE using UML
  ☆20Updated last week
• w3teal / docsify-theme-github
  The minimal amount of CSS to replicate the GitHub Markdown style
  ☆15Updated 3 weeks ago
• baloise / this-or-that
  With This-or-That, prioritizing is fun and fast.
  ☆10Updated last year
• hpi-swa / ipolyglot
  A polyglot kernel for Jupyter notebooks based on GraalVM.
  ☆99Updated 2 years ago
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆33Updated last week
• mcoblenz / Glacier
  Glacier is a type annotation extension to Java that enforces transitive class immutability.
  ☆13Updated 3 years ago
• teertinker / Export-Filter-Editor
  ☆12Updated 4 years ago
• ultimate-comparisons / ultimate-comparison-framework
  The base of all ultimate-comparisons. Follow the README and create your own ultimate comparison.
  ☆17Updated 4 years ago
• exercism / prolog
  Exercism exercises in Prolog.
  ☆31Updated 2 weeks ago
• reitzig / texlive-docker
  Docker images for TeXlive that easily adjust to your needs
  ☆28Updated this week
• congo-cc / congo-parser-generator
  The CongoCC Parser Generator, the Next Generation of JavaCC 21, which in turn was the next generation of JavaCC
  ☆42Updated this week
• tomtung / latex2unicode
  Convert LaTeX markup to Unicode (in Scala and Java)
  ☆38Updated 3 years ago
• k-pet-group / BlueJ-Greenfoot
  BlueJ and Greenfoot
  ☆116Updated 2 months ago
• dcpurton / scripture
  A LaTeX style for typesetting Bible quotations
  ☆13Updated last week
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆146Updated last week
• coolya / mps.rocks
  A curated list of awesome MPS extensions/libraries, software and resources.
  ☆63Updated last month
• pfalcon / awesome-virtual-machines
  Awesome Virtual Machines (VMs) and Language Runtimes (awesome from Computer Science perspective)
  ☆17Updated 5 years ago
• unibas-marcelluethi / software-engineering
  Vorlesungswebseite für den Kurs Software Engineering der Universität Basel
  ☆30Updated 7 months ago
• SoftVarE-Group / Course-on-Software-Product-Lines
  Material for lectures on software product lines
  ☆14Updated last month
• jgm / doclayout
  A prettyprinting library designed for laying out plain text documents
  ☆23Updated last month