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.
  ☆28Updated this week
• markusvoelter / ProgrammingBasics
  How to think like a programmer.
  ☆38Updated last year
• Artificial-Intelligence-HSBI-TDU / KI-Vorlesung
  Lecture "Künstliche Intelligenz"
  ☆21Updated last week
• ancyrweb / jcc
  C Compiler written in Kotlin
  ☆13Updated last year
• TUBAF-IfI-LiaScript / VL_SoftwareprojektRobotik
  Vorlesung Softwareprojekt TU Bergakademie Freiberg
  ☆25Updated last week
• szschaler / GridGames
  A DSL for developing grid-based arcade-style games. Because, .... fun!
  ☆20Updated 2 years ago
• latextemplates / generator-latex-template
  Generates latextemplates (e.g., for thesis, workshops, conferences, IEEEtran, LNCS, ...)
  ☆43Updated last week
• bptlab / chimera
  Chimera: Execution Engine for Case Management
  ☆14Updated 5 years ago
• exercism / prolog
  Exercism exercises in Prolog.
  ☆31Updated last week
• JetBrains / mps-coderules
  Type checking and logical inference for JetBrains MPS
  ☆32Updated last month
• SoftVarE-Group / Course-on-Software-Product-Lines
  Material for lectures on software product lines
  ☆15Updated 3 weeks ago
• dirkriehle / floss-course-discontinued
  A course on free/libre and open source software
  ☆11Updated 2 months ago
• JabRef / jabref-koppor
  Collection of simple for JabRef issues. Please submit PRs to https://github.com/jabRef/jabref/.
  ☆12Updated this week
• teertinker / JabRef_LibreOffice_Converter
  A LibreOffice extension that converts JabRef references to plain text code and vice versa so that you can use your references with MS Off…
  ☆12Updated last year
• callegar / LaTeX-draftwatermark
  The "draftwatermark" package extends LaTeX providing a means to add a textual, light gray watermark on every page or on the first page of…
  ☆16Updated last year
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 8 years ago
• hpi-swa / ipolyglot
  A polyglot kernel for Jupyter notebooks based on GraalVM.
  ☆99Updated 2 years 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
• EmillieT / Pycee
  ☆16Updated 6 years ago
• let-unimi / liblet
  A teaching aid library for formal languages and compiler courses
  ☆12Updated 7 months ago
• TeXUsersGroup / tugboat
  git-svn mirror of the TUGboat repository
  ☆13Updated last week
• teertinker / Export-Filter-Editor
  ☆12Updated 5 years ago
• raymyers / verified-refactoring
  Exploring techniques for code refactoring with formal verification
  ☆10Updated last year
• bntre / visual-lambda
  Visual environment for manipulation the lambda calculus expressions
  ☆29Updated last year
• dcpurton / scripture
  A LaTeX style for typesetting Bible quotations
  ☆15Updated 2 months ago
• chimbori / isbn-bibtex-php
  Generate a citation in the BibTeX format from an ISBN (International Standard Book Number) for a publication.
  ☆14Updated 4 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆40Updated 5 months ago
• lcnittl / DMFO
  Diff and Merge for Office
  ☆17Updated this week
• cognitive-engineering-lab / quizicist
  AI-powered quiz generator
  ☆27Updated 2 years ago
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆86Updated this week