kuk0 / alg-visLinks
☆69Updated 6 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☆154Updated 5 years ago
- Free, interactive class diagrams generator from Java bytecode and Kotlin bytecode.☆185Updated 3 months ago
- chroot java jail, and JSON java trace printer☆83Updated 10 years ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆160Updated last month
- The Next Generation Logic Library☆148Updated last month
- The Arend Proof Assistant☆728Updated 6 months ago
- Arend plugin for IntelliJ IDEA☆93Updated 6 months ago
- A JavaFX based application for playing with a 3D model of the Rubik's Cube☆22Updated 4 years ago
- The Ceylon compiler, language module, and command line tools☆402Updated 3 years ago
- =Please be aware that Concurnas is no longer in active development = Concurnas is an open source JVM programming language designed for bu…☆205Updated last year
- A Haskell CheatSheet in PDF and literate source formats.☆273Updated 2 years ago
- LaTeX source and supporting code for The Little Book of Semaphores, by Allen Downey.☆303Updated last year
- Visualization for Java, using the Online Python Tutor frontend☆71Updated 5 years ago
- Java monadic parser combinator framework for constructing LL(1) parsers☆121Updated 3 months ago
- A simple example language built using the Truffle API.☆628Updated 6 months ago
- IntelliJ IDEA plugin for Frege language☆40Updated 3 years ago
- Build parsers in Java☆348Updated 3 years ago
- This is the companion repository of the ANTLR Mega Tutorial, that will explain everything you need to know to use ANTLR.☆278Updated 4 years ago
- A static language for the JVM with sensible defaults☆99Updated 9 years ago
- JavaScript library for working with automata and grammars for regular and context-free languages☆220Updated last year
- Linear Algebra for Java☆374Updated 4 years ago
- xtext-xtend☆106Updated 2 years ago
- Dynamic parser combinators in Java.☆176Updated last month
- Framework for testing time-dependent functionality☆33Updated 7 years ago
- Generic symbol table for lexically/statically scoped languages☆53Updated 8 years ago
- ☆93Updated 6 years ago
- Implementing the sieve of Eratosthenes in various languages to demonstrate power of GraalVM and Truffle☆28Updated 2 years ago
- a book about declarative language definition☆23Updated 9 years ago
- Declarative specification and drawing of UML diagrams☆351Updated last year
- Kotlin Plugin for Eclipse☆189Updated 2 years ago