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:
- chroot java jail, and JSON java trace printer☆83Updated 10 years ago
- IntelliJ IDEA plugin for Frege language☆38Updated 3 years ago
- Contracts for Java☆154Updated 6 years ago
- Artifact for OOPSLA'16 Paper on Unsoundness of Java and Scala☆76Updated 2 years ago
- Java monadic parser combinator framework for constructing LL(1) parsers☆122Updated 8 months ago
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆43Updated 3 years ago
- Refactor the code to make it look more object-oriented and maintainable☆113Updated last year
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆168Updated last week
- Hosted and command-line calculator of cohesion metrics for Java code☆218Updated this week
- Visualization for Java, using the Online Python Tutor frontend☆73Updated 6 years ago
- Free, interactive class diagrams generator from Java bytecode and Kotlin bytecode.☆186Updated last month
- Walkthrough the implementation of a basic chatroom, from crude locks to more abstract concurrency control☆34Updated 10 years ago
- My blog about computers, written in Jekyll and deployed to GitHub Pages☆121Updated this week
- The Next Generation Logic Library☆151Updated 2 weeks ago
- xtext-xtend☆106Updated 2 years ago
- Property-based test framework☆82Updated 4 months ago
- This is the companion repository of the ANTLR Mega Tutorial, that will explain everything you need to know to use ANTLR.☆280Updated 4 years ago
- RelaX - a relational algebra calculator☆312Updated last week
- Arend plugin for IntelliJ IDEA☆94Updated 11 months ago
- Jasmin is an assembler for the Java Virtual Machine ⛺☆206Updated 3 years ago
- Generate railroad diagrams from code or BNF, generate BNF from code☆152Updated 2 years ago
- Implementing the sieve of Eratosthenes in various languages to demonstrate power of GraalVM and Truffle☆28Updated 2 years ago
- Java Algebra System (JAS) Project☆48Updated last year
- A Haskell CheatSheet in PDF and literate source formats.☆272Updated 2 years ago
- ☆24Updated last year
- LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.☆315Updated last year
- Template engine for natural languages that allows using grammatically appropriate word forms☆84Updated 7 years ago
- A static language for the JVM with sensible defaults☆100Updated 10 years ago
- Turing machine simulator in HTML/Javascript☆88Updated 2 years ago
- Small maven plugin allows to execute JUnit tests as separated external processes.☆16Updated 9 years ago