kieler / semanticsLinks
The KIELER semantics project features the sequentially constructive SCCharts, SCL, and SCEst language including tooling for automatic diagrams, compilation, and simulation
☆16Updated last week
Alternatives and similar repositories for semantics
Users that are interested in semantics are comparing it to the libraries listed below
Sorting:
- Fluent - Easy Telegram Bots with Spring!☆13Updated last year
- Multi-approach and flexible Java framework for test steps managing☆18Updated this week
- Benchmarks for Primitive Collections☆13Updated 2 years ago
- Repositório público do Professor George Mendes Marra☆31Updated this week
- ☆38Updated 2 years ago
- CMPE352/451 Group 5 repository☆12Updated this week
- ☆10Updated 2 years ago
- Embedded MongoDB for unit testing purposes based on flapdoodle-oss/de.flapdoodle.embed.mongo☆11Updated last week
- ☆16Updated this week
- Pure Rust implementation of the JVM 7 specification☆52Updated 3 years ago
- Fuzzer and code generator for testing Vineflower☆12Updated last year
- Fex's Modelling Toolbox☆19Updated this week
- fast java byte array diffing library☆24Updated 8 years ago
- Material 3 color system for JavaFX☆22Updated last week
- Prototype for a SPIR-V assembler and dissasembler. It provides a composable Java interface for generating SPIR-V code at runtime.☆14Updated last year
- An experimental project to customize squawk virtual machine for microcontrollers. Users can write embedded application programs in Java …☆58Updated 6 years ago
- Updated NestedVM toolchain for compiling C/C++ applications to run on the JVM☆33Updated 2 years ago
- CHIP-8 emulator written in Rust☆13Updated 3 years ago
- Fabric auxillary tools☆10Updated 4 years ago
- This repository is being used by Champlain College - St. Lambert Computer Science students who are extending the Spring Boot Microservice…☆54Updated this week
- The Purple VM, a custom JVM in C++.☆15Updated last year
- A minimal Java constant uninlining library☆18Updated last month
- Spatial data structures☆17Updated last week
- An Open-source access negotation system for Research Infrastructures☆27Updated this week
- A split button control for Java Swing.☆22Updated this week
- Convert Java bytecode to firm IR☆18Updated 8 years ago
- ☆15Updated 7 months ago
- JSON5 / HJSON parser and preprocessor which preserves ordering and comments☆58Updated 3 weeks ago
- A stronger alternative for Java's Proxy API. Allows the creation of 'mimicked' classes and interfaces with the ability to replace their m…☆11Updated last year
- A java class file parser☆53Updated 3 months ago