beehive-lab / beehive-spirv-toolkitLinks
Prototype for a SPIR-V assembler and dissasembler. It provides a composable Java interface for generating SPIR-V code at runtime.
☆13Updated last year
Alternatives and similar repositories for beehive-spirv-toolkit
Users that are interested in beehive-spirv-toolkit are comparing it to the libraries listed below
Sorting:
- A real-time ray tracer in Java, accelerated on heterogeneous hardware using TornadoVM☆27Updated last year
- 🔍 Code Search Tools & Experiments☆12Updated last month
- ☆11Updated 4 years ago
- Parallel Bytecode Interpreter For Heterogeneous Hardware☆12Updated 4 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 3 years ago
- Memory Management ToolKit☆37Updated 3 months ago
- Purely functional data structures in Java☆39Updated 4 years ago
- Sandwood - A JVM based Java like Probabilistic Programming Language☆30Updated 4 months ago
- egraphs-good website☆18Updated last year
- Code for enumeration from a CFG☆20Updated 2 years ago
- ☆24Updated 2 years ago
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- Java JNI binding for mujoco physics system☆13Updated 7 months ago
- https://openjdk.org/projects/babylon☆110Updated this week
- Full-fledged industrial environment for scientific computing and High Performance Computing☆18Updated 2 years ago
- https://openjdk.org/projects/tsan☆27Updated this week
- benchmarking e-graph extraction☆46Updated 5 months ago
- Datalog that's as easy as ABC.☆64Updated 2 months ago
- An open-source generalized sparse linear algebra library with vendor-agnostic GPUs accelerated computations☆27Updated last month
- A standard for floating point accuracy benchmarks☆54Updated 7 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
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆50Updated 3 years ago
- Modeling and Programming with Gecode☆50Updated 2 years ago
- An extension to Llama2.java implementation accelerated with GPUs, using TornadoVM☆26Updated last year
- Java numerics library for optimization, polynomial root finding, sorting, robust model fitting, and more.☆51Updated last month
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated 3 weeks ago
- The implementation of the Elevate language☆30Updated 7 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 10 months ago
- Scala staging framework☆17Updated 7 years ago