kieler / semanticsLinks
The KIELER semantics project features the sequentially constructive SCCharts, SCL, and SCEst language including tooling for automatic diagrams, compilation, and simulation
☆14Updated 2 weeks ago
Alternatives and similar repositories for semantics
Users that are interested in semantics are comparing it to the libraries listed below
Sorting:
- C based backend for rustc☆16Updated 4 months ago
- A tiny pomodoro application done with egui.☆10Updated 2 years ago
- A game engine for cool moddability and procedurally generated data☆11Updated 4 months ago
- Proc macro implementation of #[naked]☆31Updated 2 years ago
- Pure Rust implementation of the JVM 7 specification☆50Updated 3 years ago
- CHIP-8 emulator written in Rust☆13Updated 3 years ago
- A no_std TGA library for embedded applications.☆7Updated 2 years ago
- Cross platform software buffer submission to the display server☆17Updated 2 years ago
- ☆7Updated this week
- Support for compiling C programs with Eyra☆13Updated 8 months ago
- Shared object println — for all your xgraph dynamic linking debugging needs☆20Updated 11 months ago
- A simple Rust wrapper for the official CurseForge API☆26Updated 2 months ago
- Encrypting references in Rust for stupid reasons.☆1Updated 2 years ago
- Experimental MLIR Rust compiler☆24Updated last year
- A compile time sized array of bits☆12Updated 3 years ago
- A CLI minecraft launcher supporting both fabric and forge☆21Updated 2 years ago
- The Purple VM, a custom JVM in C++.☆14Updated last year
- A WIP Wayland compositor. Moved to codeberg☆12Updated last year
- Rust crate for runtime x86 assembler template generation☆20Updated 5 years ago
- RustyLR is a parser generator that converts context-free grammars into IELR(1)/LALR(1) tables with deterministic LR and GLR parsing strat…☆19Updated this week
- A cross platform Rust library that returns the vendor and product IDs of currently connected USB devices☆11Updated 7 months ago
- A clean, custom-built modular kernel ready to boot on x86_64.☆105Updated 7 months ago
- ☕️🍝 Generate type-safe bindings for calling Java APIs from Rust.☆14Updated last week
- Grammar framework.☆12Updated 5 years ago
- Library to program vga hardware.☆58Updated 2 years ago
- arduino-like delay routines based on busy-wait loops☆17Updated 2 years ago
- A brainfuck (http://en.wikipedia.org/wiki/Brainfuck) self-interpreter. That is - a brainfuck interpreter, in brainfuck.☆16Updated 12 years ago
- A java roguelike with a custom storyline, combat, and exploration.☆7Updated 5 years ago
- Detect possible security problems with Unicode usage according to Unicode Technical Standard #39 rules.☆14Updated 4 months ago
- stuffing things into pointers in a strict provenance friendly way☆12Updated 2 years ago