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.
  ☆22Updated this week
• ancyrweb / jcc
  C Compiler written in Kotlin
  ☆13Updated last year
• JabRef / jabref-koppor
  Collection of simple for JabRef issues. Please submit PRs to https://github.com/jabRef/jabref/.
  ☆12Updated this week
• dcpurton / scripture
  A LaTeX style for typesetting Bible quotations
  ☆13Updated last month
• di-unipi-socc / kube-freshener
  Tool that allows you to find and solve architectural smells inside a microservice architecture driven by Kubernetes
  ☆11Updated 2 years ago
• bsommerfeld / neverlose
  Desktop application for creating and managing table tennis training plans.
  ☆15Updated 2 months ago
• w3teal / docsify-theme-github
  The minimal amount of CSS to replicate the GitHub Markdown style
  ☆17Updated 3 months ago
• wagnerst / quamoco
  Open Quality Model and Tool Support for Quality Modelling and Evaluation
  ☆11Updated 7 years ago
• benchflow / benchflow
  An open-source expert system for automated end-to-end objective-driven performance testing and performance insights.
  ☆29Updated last month
• arkonia / GitGame
  A card game mimicking Git and GitHub.
  ☆15Updated 4 months ago
• xJREB / swe-research-methods
  A list of references to the most popular research methodologies in software engineering and business information systems.
  ☆18Updated 2 years ago
• jspecify / jspecify-reference-checker
  The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)
  ☆30Updated 2 months ago
• jgm / doclayout
  A prettyprinting library designed for laying out plain text documents
  ☆24Updated 2 months ago
• unibas-marcelluethi / software-engineering
  Vorlesungswebseite für den Kurs Software Engineering der Universität Basel
  ☆30Updated 10 months ago
• SoftVarE-Group / Course-on-Software-Product-Lines
  Material for lectures on software product lines
  ☆15Updated last week
• gradlex-org / java-module-testing
  Gradle plugin to turn JVM Test Suites into Blackbox or Whitebox Test Suite for Java Modules
  ☆20Updated this week
• dfahland / Master-or-Bachelor-thesis-Template-Eindhoven-University-of-Technology
  This is a LaTeX template for Bachelor and Master theses at Eindhoven University of Technology. The template not only provides a basic lat…
  ☆39Updated 4 months ago
• bptlab / chimera
  Chimera: Execution Engine for Case Management
  ☆14Updated 5 years ago
• teertinker / Export-Filter-Editor
  ☆12Updated 4 years ago
• j2kun / chktex-action
  A Github action to lint a LaTeX file for style and formatting issues.
  ☆17Updated 8 months ago
• ls1intum / Ares
  The Artemis Java Test Sandbox. A JUnit 5 Extension for Easy and Secure Artemis Java Testing
  ☆25Updated this week
• davemckain / snuggletex
  Ancient and somewhat pathological LaTeX parser written in Java
  ☆12Updated last year
• jgm / doctemplates
  Pandoc-compatible templating system
  ☆54Updated last year
• Lipen / kotlin-satlib
  🗿 SAT solver wrappers for Kotlin
  ☆11Updated last year
• mcoblenz / Glacier
  Glacier is a type annotation extension to Java that enforces transitive class immutability.
  ☆14Updated 3 years ago
• TangoraBox / ReactiveDeskFX
  JavaFX micro-framework that follows MVVM Pattern with Google Guice dependency Injection
  ☆11Updated 3 years ago
• eisop / checker-framework
  Pluggable type-checking for Java
  ☆23Updated this week
• raymyers / verified-refactoring
  Exploring techniques for code refactoring with formal verification
  ☆10Updated last year
• lsp-and-implementation / language-server
  ☆22Updated 2 years ago
• DokChess / dokchess
  Java-Quelltexte passend zum Architekturüberblick DokChess in Kapitel 9
  ☆15Updated 2 years ago