Alternatives and similar repositories for sandwood

Users that are interested in sandwood are comparing it to the libraries listed below

• openjdk / babylon
  https://openjdk.org/projects/babylon
  ☆119Updated this week
• logic-ng / LogicNG
  The Next Generation Logic Library
  ☆149Updated 4 months ago
• Vinhixus / TornadoVM-Ray-Tracer
  A real-time ray tracer in Java, accelerated on heterogeneous hardware using TornadoVM
  ☆27Updated last year
• jspecify / jspecify-reference-checker
  The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)
  ☆32Updated 2 weeks ago
• graalvm / simpletool
  A simple example tool built using the Truffle instrumentation API.
  ☆32Updated 2 years ago
• oracle / olcut
  A Java configuration, shell, and general utility toolkit
  ☆33Updated 10 months ago
• beehive-lab / docker-tornadovm
  Docker build scripts for TornadoVM on GPUs: https://github.com/beehive-lab/TornadoVM
  ☆31Updated last week
• UnitTestBot / ksmt
  Kotlin/Java API for various SMT solvers
  ☆34Updated 2 months ago
• openjdk / tsan
  https://openjdk.org/projects/tsan
  ☆27Updated last week
• jjfumero / tornadovm-examples
  Set of examples written for hardware acceleration via TornadoVM
  ☆17Updated 9 months ago
• vorpal-research / kex
  A platform for analysis of Java bytecode
  ☆37Updated last year
• mikepapadim / llama2.tornadovm.java
  An extension to Llama2.java implementation accelerated with GPUs, using TornadoVM
  ☆26Updated last year
• simonis / LeydenVsGraalNative
  Benchmarks, data and scripts for comparing Leyden with Graal Native Image
  ☆32Updated 6 months ago
• roastedroot / protobuf4j
  Work in progress pure Java Protobuf tools
  ☆21Updated last week
• tudo-aqua / z3-turnkey
  TurnKey artifact for Z3
  ☆42Updated last month
• serenadeai / java-tree-sitter
  Java bindings for tree-sitter
  ☆128Updated 2 years ago
• breandan / galoisenne
  🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin
  ☆144Updated last week
• 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…
  ☆163Updated this week
• coderodde / IndexedLinkedList
  A candidate indexed, linked list data structure for OpenJDK.
  ☆17Updated 5 months ago
• microsoft / openjdk-proposals
  A place for Microsoft's Java Engineering Group to put OpenJDK JEPs and/or patches before we submit to OpenJDK
  ☆34Updated last year
• tensorflow / java-ndarray
  ☆81Updated last year
• kredel / java-algebra-system
  Java Algebra System (JAS) Project
  ☆47Updated last year
• qbicc / qbicc
  Experimental static compiler for Java programs.
  ☆137Updated 2 weeks ago
• radsz / jacop
  Java Constraint Programming solver
  ☆230Updated 2 years ago
• JetBrains / MPS-extensions
  MPS-extensions aims to ease language development within MPS.
  ☆86Updated this week
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆113Updated 3 years ago
• tomokinakamaru / silverchain
  Fluent API generator
  ☆42Updated 3 weeks ago
• mcoblenz / Glacier
  Glacier is a type annotation extension to Java that enforces transitive class immutability.
  ☆14Updated 4 years ago
• zhong-j-yu / rekex
  PEG parser generator for Java 17 - grammar as algebraic datatypes
  ☆66Updated 4 years ago
• ASSERT-KTH / sorald
  Automatic repair system for static analysis warnings from SonarQube's SonarJava, TDSC 2022 http://arxiv.org/pdf/2103.12033
  ☆98Updated last month