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 month
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:
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆15Updated 3 years ago
- Sandwood - A JVM based Java like Probabilistic Programming Language☆31Updated 5 months ago
- A real-time ray tracer in Java, accelerated on heterogeneous hardware using TornadoVM☆27Updated last year
- Memory Management ToolKit☆37Updated 5 months ago
- ☆24Updated 2 years ago
- Java JNI binding for mujoco physics system☆14Updated 9 months ago
- 🔍 Code Search Tools & Experiments☆12Updated 2 months ago
- Execute and document benchmarks reproducibly.☆96Updated 5 months ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- ☆17Updated last month
- Modeling and Programming with Gecode☆50Updated 3 years ago
- Cover: a safe subset of C++ on the JVM using Graal/Truffle☆19Updated 9 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Updated 2 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated 2 weeks ago
- A place for Microsoft's Java Engineering Group to put OpenJDK JEPs and/or patches before we submit to OpenJDK☆34Updated last year
- Java library for packaging native libraries, executables, and resources for runtime within jar files☆18Updated 2 weeks ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆60Updated this week
- Sigmoid Numbers backed by IEEE Floats☆17Updated 8 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated last year
- A compiler for Tiger language includes lexical analysis using flexc++, parsing using Bisonc++, type checking, building abstract syntax tr…☆13Updated 2 years ago
- 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
- Code for enumeration from a CFG☆20Updated 2 years ago
- AgileUML tools for MDE using UML☆20Updated last week
- Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels☆116Updated 3 weeks ago
- ☆34Updated 5 years ago
- Instrumented Java Optimized processor☆33Updated 12 years ago
- Polyglot Live Programming with GraalVM, the Language Server Protocol (LSP), and VS Code.☆39Updated 4 years ago
- Full-fledged industrial environment for scientific computing and High Performance Computing☆18Updated 2 years ago
- https://openjdk.org/projects/metropolis☆16Updated 5 years ago
- A MiniJava compiler written in Rust.☆28Updated last year