The KIELER semantics project features the sequentially constructive SCCharts, SCL, and SCEst language including tooling for automatic diagrams, compilation, and simulation
☆17Oct 7, 2025Updated 4 months ago
Alternatives and similar repositories for semantics
Users that are interested in semantics are comparing it to the libraries listed below
Sorting:
- HashCats Auto Clicker is a versatile tool that enhances your gaming experience by automating various actions within the HashCats game☆18Updated this week
- florr clone☆10May 25, 2025Updated 9 months ago
- Automate Wolvesville☆18May 8, 2024Updated last year
- ☆15May 17, 2024Updated last year
- Fluent - Easy Telegram Bots with Spring!☆12Aug 2, 2024Updated last year
- CMPE352/451 Group 5 repository☆10Dec 21, 2025Updated 2 months ago
- Repositório público do Professor George Mendes Marra☆121Updated this week
- Multi-approach and flexible Java framework for test steps managing☆18Updated this week
- Sources of the Xyna Factory Server, Xyna runtime applications (like GuiHttp or gitintegration), and installation scripts.☆18Updated this week
- RevX Java Decompiler & Disassembler☆15Oct 13, 2025Updated 4 months ago
- KIELER Lightweight Diagams☆39Jan 28, 2026Updated last month
- Reference implementation toolkit for writing composable applications☆20Updated this week
- Delivering AWS Projects☆15Jan 20, 2026Updated last month
- An Intellij Plugin that generates unit test methods with meaningful names based in described behaviours with @should tags in methods ja…☆10Dec 14, 2025Updated 2 months ago
- python parser combinators (parsec) library☆11Oct 26, 2018Updated 7 years ago
- Advent of Code Submission Board showcasing solutions of CAU CS students/alumni☆11Dec 14, 2025Updated 2 months ago
- The plugin allows user to login in GoCD using GitLab(or GitLab Enterprise). It also supports authorization, which can be used by server a…☆10Feb 1, 2026Updated last month
- ☆12Aug 4, 2023Updated 2 years ago
- Convenient, simple, functional JavaScript. Like hikidashi boxes. Check out develop branch!~☆10Apr 23, 2023Updated 2 years ago
- Thaumcraft 4 Addon☆13Oct 10, 2025Updated 4 months ago
- Semiconductor diode laser current driver☆10Nov 14, 2022Updated 3 years ago
- safe, no-cost and easy-to-use Cpp header to work safely with HW registers☆14Sep 15, 2024Updated last year
- Elexis 3 Base Repository☆15Updated this week
- Stripes is a Java framework with the goal of making Servlet/JSP based web development in Java as easy, intuitive and straight-forward as …☆14Sep 29, 2025Updated 5 months ago
- Social Network used for Intranets and Extranets☆11Updated this week
- This library is designed to turn DynamoDB into an Event Store for CQRS/Event Sourcing.☆12Feb 15, 2026Updated 2 weeks ago
- ☆13Oct 7, 2025Updated 4 months ago
- Affinidi Trust Development Kit☆16Updated this week
- Smashes windows into specified places so you don't have to fiddle resizing them☆10Feb 17, 2020Updated 6 years ago
- Evento is the Java Framework to develop RECQ Systems☆15Jan 12, 2026Updated last month
- Jexxa - A Ports and Adapters Framework for Java☆13Updated this week
- libopencm3 c++ wrappers☆10Dec 25, 2020Updated 5 years ago
- Official Java Client for Ipregistry, a Fast, Reliable IP Geolocation and Threat Data API.☆16Dec 7, 2025Updated 2 months ago
- A simple wrapper for Apache Commons FileUpload to use it with Netty and other IO servers☆11Jun 21, 2025Updated 8 months ago
- PAKCS: The Portland Aachen Kiel Curry system☆14Feb 22, 2026Updated last week
- The open source Java ME application platform☆45Mar 10, 2024Updated last year
- Simple XML☆10Sep 19, 2019Updated 6 years ago
- Mailosaur email and SMS testing library for Java☆11Feb 11, 2026Updated 2 weeks ago
- ☆13Jun 1, 2016Updated 9 years ago