Alternatives and similar repositories for alg-vis

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

• jtulach / sieve
  Implementing the sieve of Eratosthenes in various languages to demonstrate power of GraalVM and Truffle
  ☆28Updated 2 years ago
• jon-hanson / parsecj
  Java monadic parser combinator framework for constructing LL(1) parsers
  ☆119Updated last month
• JetBrains / jetCheck
  Property-based test framework
  ☆80Updated 2 years ago
• exyte / sweet.eclipse
  Sweet Eclipse
  ☆33Updated 9 years ago
• kredel / java-algebra-system
  Java Algebra System (JAS) Project
  ☆44Updated last year
• IntelliJ-Frege / intellij-frege
  IntelliJ IDEA plugin for Frege language
  ☆40Updated 3 years ago
• m4dc4p / cheatsheet
  A Haskell CheatSheet in PDF and literate source formats.
  ☆270Updated 2 years ago
• Byte-Lab / JCoz
  JCoz -- A Java causal profiler
  ☆275Updated last year
• shuttie / distdb
  A sample distributed store for my talk about consistency in distributed systems
  ☆10Updated 8 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…
  ☆156Updated last week
• namin / unsound
  Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala
  ☆76Updated last year
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆146Updated 7 months ago
• jonatan-kazmierczak / class-visualizer
  Free, interactive class diagrams generator from Java bytecode and Kotlin bytecode.
  ☆183Updated last month
• MutabilityDetector / MutabilityDetector
  Lightweight analysis tool for detecting mutability in Java classes
  ☆240Updated last year
• absurdhero / parsekt
  Parser Combinator library for Kotlin
  ☆27Updated 6 years ago
• vkostyukov / la4j
  Linear Algebra for Java
  ☆375Updated 4 years ago
• gvlasov / inflectible
  Template engine for natural languages that allows using grammatically appropriate word forms
  ☆83Updated 6 years ago
• deadlockempire / deadlockempire.github.io
  The Deadlock Empire: Slay dragons, learn concurrency!
  ☆1,014Updated 2 months ago
• nhatminhle / cofoja
  Contracts for Java
  ☆154Updated 5 years ago
• daveagp / java_visualize
  Visualization for Java, using the Online Python Tutor frontend
  ☆71Updated 5 years ago
• graalvm / simplelanguage
  A simple example language built using the Truffle API.
  ☆623Updated 3 months ago
• jparsec / jparsec
  Build parsers in Java
  ☆346Updated 3 years ago
• 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
• graalvm / graalvm-ten-things
  Top 10 Things To Do With GraalVM
  ☆236Updated 9 months ago
• dbis-uibk / relax
  RelaX - a relational algebra calculator
  ☆305Updated 3 weeks ago
• JakubDziworski / Enkel-JVM-language
  Enkel is a simple programming language running on the jvm
  ☆325Updated 2 years ago
• quicktheories / QuickTheories
  Property based testing for Java 8
  ☆510Updated 4 years ago
• Chrriis / RRDiagram
  Generate railroad diagrams from code or BNF, generate BNF from code
  ☆148Updated last year
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆23Updated 9 years ago