oracle / sandwoodLinks
Sandwood - A JVM based Java like Probabilistic Programming Language
☆30Updated 4 months ago
Alternatives and similar repositories for sandwood
Users that are interested in sandwood are comparing it to the libraries listed below
Sorting:
- The reference implementation for the JSpecify nullness specification (and later, its other specifications as well)☆30Updated 2 months ago
- https://openjdk.org/projects/babylon☆109Updated last week
- A candidate indexed, linked list data structure for OpenJDK.☆17Updated 3 months ago
- A real-time ray tracer in Java, accelerated on heterogeneous hardware using TornadoVM☆27Updated last year
- A MATLAB-like scientific scripting environment for Kotlin, a simpler Kotlin only version of KotlinLab. Java 16 or newer is required to ru…☆17Updated 3 years ago
- A Java configuration, shell, and general utility toolkit☆32Updated 8 months ago
- The Next Generation Logic Library☆147Updated 3 months ago
- Java Algebra System (JAS) Project☆46Updated last year
- Experimental static compiler for Java programs.☆137Updated last week
- A simple example tool built using the Truffle instrumentation API.☆32Updated 2 years ago
- The CongoCC Parser Generator, the Next Generation of JavaCC 21, which in turn was the next generation of JavaCC☆42Updated last week
- Kotlin/Java API for various SMT solvers☆34Updated 3 weeks ago
- PEG parser generator for Java 17 - grammar as algebraic datatypes☆66Updated 3 years ago
- https://openjdk.org/projects/tsan☆27Updated this week
- Benchmarks, data and scripts for comparing Leyden with Graal Native Image☆29Updated 5 months ago
- A place for Microsoft's Java Engineering Group to put OpenJDK JEPs and/or patches before we submit to OpenJDK☆33Updated last year
- Purely functional data structures in Java☆39Updated 4 years ago
- 🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin☆143Updated this week
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆162Updated this week
- ☆80Updated last year
- Recaffeinating Java ☕️ with custom semantics and extensions☆52Updated 3 years ago
- Efficient Immutable/Persistent Collections for Java☆47Updated last year
- Docker build scripts for TornadoVM on GPUs: https://github.com/beehive-lab/TornadoVM☆29Updated 3 months ago
- Property-based test framework☆82Updated last month
- Set of examples written for hardware acceleration via TornadoVM☆17Updated 8 months ago
- Relational Streams for Java☆37Updated 2 years ago
- A Java Vector-API base64 library.☆39Updated 2 years ago
- Graal Languages - Demos and Guides☆87Updated this week
- A modern networking framework based on ucx for Java 19+☆25Updated last year
- FUP2 https://github.com/oracle-actions/setup-java☆27Updated 3 years ago