Alternatives and similar repositories for alg-vis:

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

• daveagp / java_jail
  chroot java jail, and JSON java trace printer
  ☆81Updated 9 years ago
• devexperts / dlcheck
  Potential deadlocks checker
  ☆86Updated 5 years ago
• RainM / rperf2
  ☆24Updated 7 months ago
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆136Updated last month
• devexperts / lin-check
  Linearization checker for Java concurrent programs
  ☆105Updated last year
• daveagp / java_visualize
  Visualization for Java, using the Online Python Tutor frontend
  ☆69Updated 5 years ago
• osundblad / intellij-annotations-instrumenter-maven-plugin
  IntelliJ IDEA annotations instrumenter maven plugin
  ☆38Updated 5 months 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 this week
• antlr / jetbrains-plugin-sample
  A sample plugin for jetbrains IDEs that uses an ANTLR grammar for a nontrivial custom language.
  ☆119Updated 3 years ago
• jtulach / sieve
  Implementing the sieve of Eratosthenes in various languages to demonstrate power of GraalVM and Truffle
  ☆28Updated last year
• JetBrains / jetCheck
  Property-based test framework
  ☆80Updated last year
• devexperts / time-test
  Framework for testing time-dependent functionality
  ☆32Updated 6 years ago
• AllenDowney / LittleBookOfSemaphores
  LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.
  ☆277Updated 7 months ago
• ItsLastDay / KotlinFuzzer
  Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.
  ☆7Updated 2 years ago
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆23Updated 8 years ago
• ftomassetti / antlr4-c3-kotlin
  Code completion for ANTLR
  ☆11Updated 4 years ago
• razbor-poletov / razbor-poletov.github.com
  Podcast "Разбор полетов"
  ☆62Updated last week
• kuptservol / how-it-works
  ☆15Updated 4 years ago
• ebarlas / game-of-life-csp
  Game of Life implemented in Java using virtual threads and communicating sequential processes
  ☆139Updated 2 years ago
• JetBrains / intellij-arend
  Arend plugin for IntelliJ IDEA
  ☆91Updated this week
• lrlucena / whilelang
  A small programming language created with Scala and ANTLR
  ☆30Updated 8 months ago
• exyte / sweet.eclipse
  Sweet Eclipse
  ☆33Updated 8 years ago
• IntelliJ-Frege / intellij-frege
  IntelliJ IDEA plugin for Frege language
  ☆40Updated 2 years ago
• abraxabooks / jdpe2
  Java Design Pattern Essentials (Second Edition) - book source code
  ☆22Updated 10 years ago
• max1ly / Java_Video_Ru
  ☆25Updated 4 years ago
• kittylyst / ocelotvm
  ☆68Updated 4 years ago
• nhatminhle / cofoja
  Contracts for Java
  ☆154Updated 5 years ago
• izuzak / noam
  JavaScript library for working with automata and grammars for regular and context-free languages
  ☆211Updated 4 months ago
• raoulDoc / CodePatternPlugin
  Example of a javac Plugin
  ☆14Updated 9 years ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆33Updated last month