Software Technologies Research Group

All

14 repositories

swtbahn-cli
Public
A client-server command line interface for the SWTbahn.
modelrailroad modelrailway swtbahn
C
•
GNU General Public License v3.0
•3•7•7•1•Updated Oct 31, 2024Oct 31, 2024
LetSynchronise
Public
Framework for modelling, simulating, analysing, and optimising LET-based systems
scheduling scheduled-jobs scheduled-tasks scheduling-algorithms design-exploration logical-execution-time
JavaScript
•
GNU General Public License v3.0
•1•2•10•1•Updated Sep 11, 2024Sep 11, 2024
libbidib
Public
A library for communication with a BiDiB (www.bidib.org) system using a serial connection.
modelrailroad bidib modelrailway swtbahn
C
•
GNU General Public License v3.0
•4•10•5•1•Updated Aug 7, 2024Aug 7, 2024
ia-toolset
Public
Toolset for IAM interface theory with textual language, code editor, simulator and debugger
iam domain-specific-language xtext interface-automata
Kotlin
•
GNU General Public License v3.0
•0•3•8•0•Updated Mar 28, 2024Mar 28, 2024
onion
Public
C library to create simple HTTP servers and Web Applications.
modelrailroad modelrailway swtbahn
C
•
Other
•252•0•0•0•Updated Sep 15, 2023Sep 15, 2023
swtbahn-lantern
Public
C program for the servo point lanterns on an SWTbahn platform.
arduino modelrailroad attiny84a modelrailway adafruit-metro-mini swtbahn
C++
•
GNU General Public License v3.0
•0•1•0•0•Updated Sep 5, 2023Sep 5, 2023
swtbahn-pidisplay
Public
Software for displaying the IP address of the Raspberry Pi on an SWTbahn platform.
modelrailroad modelrailway swtbahn
Python
•
GNU General Public License v3.0
•0•0•0•0•Updated Aug 31, 2023Aug 31, 2023
MGE
Public archive
0•0•0•0•Updated Jun 28, 2022Jun 28, 2022
KPS2021
Public archive
0•0•0•0•Updated Jan 31, 2022Jan 31, 2022
ShaPE
Public archive
ShaPE, a Shape Predicate Extractor.
Python
•
GNU General Public License v3.0
•0•2•1•2•Updated Dec 13, 2021Dec 13, 2021
DSIsrc
Public archive
Contains the DSIsrc front-end component and its DSIcore algorithm implementation
data-structures scala cil dsi
C
•
GNU General Public License v3.0
•0•0•0•0•Updated May 7, 2020May 7, 2020
DSIbin
Public archive
Contains the front-end component DSIbin, its DSIcore algorithm implementation, and the DSIref type-refinement component
data-structures binary-analysis dsi
Scala
•
GNU General Public License v3.0
•0•9•0•0•Updated Aug 31, 2017Aug 31, 2017
DSIlogger
Public archive
Contains the logging functionality for the DSIsrc and DSIbin project
logging data-structures dsi
Scala
•
GNU General Public License v3.0
•0•0•0•0•Updated Aug 31, 2017Aug 31, 2017
DSIbin-inst
Public archive
A binary instrumentation Pin tool used for DSIbin
cplusplus data-structures dsi pin
C++
•
GNU Lesser General Public License v3.0
•0•7•0•0•Updated Aug 31, 2017Aug 31, 2017