kuk0 / alg-visLinks
☆70Updated 7 years ago
Alternatives and similar repositories for alg-vis
Users that are interested in alg-vis are comparing it to the libraries listed below
Sorting:
- Contracts for Java☆153Updated 6 years ago
- LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.☆309Updated last year
- =Please be aware that Concurnas is no longer in active development = Concurnas is an open source JVM programming language designed for bu…☆205Updated 2 years ago
- chroot java jail, and JSON java trace printer☆83Updated 10 years ago
- JavaScript library for working with automata and grammars for regular and context-free languages☆220Updated last year
- Free, interactive class diagrams generator from Java bytecode and Kotlin bytecode.☆186Updated 6 months ago
- Assembly for XML: an imperative language for creating and modifying XML documents (and a Java library)☆245Updated this week
- Visualization for Java, using the Online Python Tutor frontend☆71Updated 6 years ago
- Java monadic parser combinator framework for constructing LL(1) parsers☆122Updated 6 months ago
- The Deadlock Empire: Slay dragons, learn concurrency!☆1,035Updated 7 months ago
- Property-based test framework☆82Updated 3 months ago
- A one stop guide for developers of all levels, you start with simple and basic know-how and dive deep into the realms of OpenJDK. Know wh…☆47Updated 5 years ago
- Implementing the sieve of Eratosthenes in various languages to demonstrate power of GraalVM and Truffle☆28Updated 2 years ago
- Declarative specification and drawing of UML diagrams☆352Updated last week
- ☆72Updated 5 years ago
- Framework for testing time-dependent functionality☆33Updated 7 years ago
- Linearization checker for Java concurrent programs☆106Updated 2 years ago
- A static language for the JVM with sensible defaults☆99Updated 10 years ago
- Java Software Transactional Memory☆57Updated 5 years ago
- IntelliJ IDEA plugin for Frege language☆39Updated 3 years ago
- The Next Generation Logic Library☆149Updated 4 months ago
- Template engine for natural languages that allows using grammatically appropriate word forms☆83Updated 7 years ago
- An introduction to Rust for Java Developers☆44Updated 6 years ago
- A truly hackable editor: simple, lightweight, understandable☆146Updated 5 years ago
- Jasmin is an assembler for the Java Virtual Machine ⛺☆202Updated 2 years ago
- Dynamic parser combinators in Java.☆178Updated last week
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆43Updated 2 years ago
- Tiny Scala library to generate class files for the JVM☆70Updated 4 years ago
- Game of Life implemented in Java using virtual threads and communicating sequential processes☆145Updated 3 years ago
- The Arend Proof Assistant☆734Updated 9 months ago