kuk0 / alg-visLinks
☆68Updated 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:
- Implementing the sieve of Eratosthenes in various languages to demonstrate power of GraalVM and Truffle☆28Updated 2 years ago
- IntelliJ IDEA plugin for Frege language☆40Updated 3 years ago
- Property-based test framework☆80Updated 2 years ago
- Parser Combinator library for Kotlin☆27Updated 6 years ago
- adt4j - Algebraic Data Types for Java☆145Updated 7 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…☆154Updated this week
- Linearization checker for Java concurrent programs☆105Updated 2 years ago
- Outperforming BigInteger since 2015. Possibly providing the fastest available arbitrary-precision arithmetic integer classes purely writt…☆50Updated last year
- The Next Generation Logic Library☆144Updated 6 months ago
- =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
- https://openjdk.org/projects/amber☆145Updated 4 months ago
- Java class that represents a fraction as a ratio of two BigIntegers, reduced to lowest terms.☆39Updated 2 years ago
- CGGE2 is a library to easily create 2D Games in Java☆20Updated 4 months ago
- Java Macro Library☆23Updated 3 years ago
- Kotlin/Java API for various SMT solvers☆31Updated 3 weeks ago
- Interactive animations to help visualize Java concurrency concepts☆128Updated 4 months ago
- Yona is a modern take on a dynamic general-purpose programming language with advanced functional programming, minimalistic ML-like syntax…☆128Updated 2 years ago
- A Java class for printing binary trees as ASCII text☆26Updated 2 years ago
- Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.☆7Updated 2 years ago
- Demonstrates Java 10's new features☆25Updated 6 years ago
- VocabHunter helps learners of foreign languages find vital new vocabulary to study.☆283Updated 10 months ago
- Gradle plugin to build PlantUML diagrams from code (for living and up-to-date documentation)☆39Updated last year
- A JavaFX based application for playing with a 3D model of the Rubik's Cube☆22Updated 4 years ago
- Linear Algebra for Java☆374Updated 4 years ago
- ☆82Updated 3 months ago
- Resources for the book "Functional and Concurrent Programming"☆16Updated 3 weeks ago
- A Haskell CheatSheet in PDF and literate source formats.☆270Updated 2 years ago
- Desktop application to play Chess supporting drag n drop☆1Updated 10 months ago
- Visualization for Java, using the Online Python Tutor frontend☆69Updated 5 years ago
- ☆26Updated 4 years ago