Alternatives and similar repositories for alg-vis:

Users that are interested in alg-vis are comparing it to the libraries listed below

• shipilev / awesome-java
  A curated list of awesome frameworks, libraries and software for the Java programming language.
  ☆11Updated 7 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 3 weeks ago
• AllenDowney / LittleBookOfSemaphores
  LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.
  ☆279Updated 8 months ago
• openjdk / amber-docs
  https://openjdk.org/projects/amber
  ☆145Updated 2 weeks ago
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆41Updated 2 years ago
• jflex-de / jflex
  The fast scanner generator for Java™ with full Unicode support
  ☆599Updated last month
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆110Updated 3 years ago
• mdaines / grammophone
  A tool for analyzing and transforming context-free grammars.
  ☆211Updated 2 months ago
• codecov / example-java
  Java Example
  ☆69Updated last year
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆138Updated 3 months ago
• devexperts / time-test
  Framework for testing time-dependent functionality
  ☆32Updated 7 years ago
• mrieppel / TruthTableGenerator
  Generates truth tables for formulas of sentential logic
  ☆61Updated 5 months ago
• kdickerson / automatonSimulator
  A website that simulates various finite state machines: DFA, NFA, PDA.
  ☆102Updated 2 years ago
• nhatminhle / cofoja
  Contracts for Java
  ☆154Updated 5 years ago
• ogheorghies / MetaUML
  UML diagrams for LaTeX/MetaPost
  ☆125Updated last year
• tvinke / fp-java-by-example
  "Functional Java by Example" articles, which you can find on my blog.
  ☆11Updated 5 years ago
• daveagp / java_jail
  chroot java jail, and JSON java trace printer
  ☆81Updated 9 years ago
• RainM / rperf2
  ☆24Updated 8 months ago
• openjdk / jdk15
  https://openjdk.org/projects/jdk/15 released 2020-09-15
  ☆39Updated 4 years ago
• tyler-utah / PBL
  A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…
  ☆9Updated 9 years ago
• kredel / java-algebra-system
  Java Algebra System (JAS) Project
  ☆44Updated 9 months ago
• ItsLastDay / KotlinFuzzer
  Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.
  ☆7Updated 2 years ago
• devexperts / lin-check
  Linearization checker for Java concurrent programs
  ☆105Updated last year
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• JetBrains / arend-lib
  ☆80Updated this week
• parttimenerd / tiny-profiler
  A tiny CPU profiler for Java written completely in Java 17.
  ☆91Updated last year
• cqfn / jpeek
  Hosted and command-line calculator of cohesion metrics for Java code
  ☆210Updated this week
• JetBrains / jetCheck
  Property-based test framework
  ☆80Updated 2 years ago
• vbmacher / cup-maven-plugin
  Maven 3 plug-in allowing to use Java cup parser
  ☆25Updated last year
• Concurnas / Concurnas
  =Please be aware that Concurnas is no longer in active development = Concurnas is an open source JVM programming language designed for bu…
  ☆202Updated last year