Alternatives and similar repositories for j-Algo:

Users that are interested in j-Algo are comparing it to the libraries listed below

• knowsys / TheoLog
  Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
  ☆23Updated 8 months ago
• ASSERT-KTH / spork
  AST-based structured merge tool for Java, fully Git compatible https://doi.org/10.1109/TSE.2022.3143766
  ☆58Updated last month
• st-tu-dresden / inloop
  [Deprecated] A simple web application to manage online programming assignments
  ☆29Updated last year
• kit-sdq / TimeSheetGenerator
  TimeSheetGenerator is an application that checks and builds time sheet documents.
  ☆25Updated this week
• knowsys / FormaleSysteme
  Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
  ☆44Updated 11 months ago
• TUfast-TUD / TUfast_TUD
  Browser Extension for higher productivity with TU Dresden IT-Services 🚀
  ☆43Updated last month
• atlanmod / NeoEMF
  Multi-backend EMF persistence framework.
  ☆52Updated last month
• pbrinkmeier / pp-tut
  Programmierparadigmen-Tutorium 2022WS
  ☆28Updated 2 years ago
• eclipse-jdt / eclipse.jdt.ui
  ☆43Updated this week
• FliegendeWurst / KIT-ILIAS-downloader
  Downloader for https://ilias.studium.kit.edu/
  ☆48Updated 3 weeks ago
• willuhn / jameica
  Jameica is an Application-Platform written in Java containing a SWT-UI. It provides different services (GUI-Toolkit, Logging, Security, B…
  ☆122Updated 2 weeks ago
• tginsberg / junit5-system-exit
  A JUnit5 Extension to help write tests that call System.exit()
  ☆51Updated 5 months ago
• unverantwortli-ch / list
  ☆47Updated 6 months ago
• ASSERT-KTH / sorald
  Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033
  ☆94Updated last week
• skript-sicherheit / skript
  Skript zur Vorlesung "Sicherheit" am KIT.
  ☆43Updated 3 years ago
• tjwatson / atomos
  Atomos - A Java Module Framework using OSGi Connect
  ☆12Updated 5 years ago
• eclipse-texlipse / texlipse
  Eclipse Texlipse
  ☆62Updated last month
• 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…
  ☆151Updated last month
• ls1intum / Ares
  The Artemis Java Test Sandbox. A JUnit 5 Extension for Easy and Secure Artemis Java Testing
  ☆21Updated 2 months ago
• I-Al-Istannen / SimpleCodeTester
  A web application that checks code against a range of user submitted tests.
  ☆33Updated last year
• Garmelon / PFERD
  Programm zum Flotten, Einfachen Runterladen von Dateien
  ☆146Updated 3 weeks ago
• willuhn / hibiscus
  Eine freie Homebanking-Anwendung für Linux, Windows und MacOS. Sie basiert auf der FinTS-Implementierung HBCI4Java und läuft als Plugin i…
  ☆284Updated 2 weeks ago
• adiehl / hdgdldsgvo
  DSGVO Generator
  ☆38Updated 2 years ago
• MartinWitt / laughing-train
  A code refactoring tool for java created with jgit and spoon for small diffs.
  ☆18Updated this week
• bmaggi / library-training
  The Library Training Material (Incoming Eclipse Papyrus Photon Year 2018-2019)
  ☆12Updated 6 years ago
• dlindner / vorlesung-se2-dhbw
  Vorlesungsunterlagen für Vorlesung Software-Engineering II an der DHBW Karlsruhe
  ☆88Updated 10 months ago
• CodeDefenders / CodeDefenders
  Gamification of Mutation Testing
  ☆42Updated 2 weeks ago
• informatiCup / informatiCup2020
  Pandemie!
  ☆20Updated 2 years ago
• KeYProject / key
  KeY Theorem Prover for Deductive Java Verification
  ☆54Updated this week
• TweetyProjectTeam / TweetyProject
  TweetyProject is a collection of Java libraries that implement approaches to different areas of artificial intelligence.
  ☆31Updated last week