kieler / semanticsLinks
The KIELER semantics project features the sequentially constructive SCCharts, SCL, and SCEst language including tooling for automatic diagrams, compilation, and simulation
☆17Updated last month
Alternatives and similar repositories for semantics
Users that are interested in semantics are comparing it to the libraries listed below
Sorting:
- Multi-approach and flexible Java framework for test steps managing☆17Updated this week
- ☆13Updated 2 weeks ago
- RevX Java Decompiler & Disassembler☆14Updated last month
- Fluent - Easy Telegram Bots with Spring!☆12Updated last year
- CMPE352/451 Group 5 repository☆10Updated this week
- HashCats Auto Clicker is a versatile tool that enhances your gaming experience by automating various actions within the HashCats game☆18Updated this week
- Pure Rust implementation of the JVM 7 specification☆52Updated 3 years ago
- Prototype for a SPIR-V assembler and dissasembler. It provides a composable Java interface for generating SPIR-V code at runtime.☆13Updated 2 weeks ago
- A big Gestion Proyect for desktop in JAVA and using JDBC☆10Updated last month
- jtcpp was an experimental JVM bytecode to C++ transpiler(abandoned).☆31Updated 2 years ago
- Plan de cours pour IFT3913 [automne 2025]☆26Updated this week
- The Purple VM, a custom JVM in C++.☆15Updated last year
- ☆10Updated 2 years ago
- An AE2 addon that adds a lot of utilities and quality of life☆27Updated this week
- C based backend for rustc☆24Updated 8 months ago
- ☆14Updated 9 months ago
- Benchmarks for Primitive Collections☆13Updated 2 years ago
- An experimental project to customize squawk virtual machine for microcontrollers. Users can write embedded application programs in Java …☆58Updated 7 years ago
- Thaumcraft 4 Addon☆13Updated last month
- ☆16Updated this week
- A framework for easily patching JVM programs. Part of Project Lombok.☆40Updated 3 months ago
- Groovy AST Transformation to allow writing Jasmin code (JVM bytecode) directly on groovy files☆14Updated 5 years ago
- Embedded MongoDB for unit testing purposes based on flapdoodle-oss/de.flapdoodle.embed.mongo☆11Updated last week
- Pure-Rust toy implementation of the 20th JVM spec☆18Updated 8 months ago
- This repository is being used by Champlain College - St. Lambert Computer Science students who are extending the Spring Boot Microservice…☆53Updated this week
- A simple spell checker written in rust. Includes CLI and lib.☆21Updated this week
- ☆36Updated 2 years ago
- Sources of the Xyna Factory Server, Xyna runtime applications (like GuiHttp or gitintegration), and installation scripts.☆16Updated last week
- A CLI minecraft launcher supporting both fabric and forge☆22Updated 2 years ago
- CHIP-8 emulator written in Rust☆13Updated 3 years ago