Pinned Repositories
DSIbin
Contains the front-end component DSIbin, its DSIcore algorithm implementation, and the DSIref type-refinement component
DSIbin-inst
A binary instrumentation Pin tool used for DSIbin
ia-toolset
Toolset for IAM interface theory with textual language, code editor, simulator and debugger
KPS2021
LetSynchronise
Framework for modelling, simulating, analysing, and optimising LET-based systems
libbidib
A library for communication with a BiDiB (www.bidib.org) system using a serial connection.
MGE
ShaPE
ShaPE, a Shape Predicate Extractor.
swtbahn-cli
A client-server command line interface for the SWTbahn.
swtbahn-lantern
C program for the servo point lanterns on an SWTbahn platform.
uniba-swt's Repositories
uniba-swt/libbidib
A library for communication with a BiDiB (www.bidib.org) system using a serial connection.
uniba-swt/DSIbin
Contains the front-end component DSIbin, its DSIcore algorithm implementation, and the DSIref type-refinement component
uniba-swt/DSIbin-inst
A binary instrumentation Pin tool used for DSIbin
uniba-swt/swtbahn-cli
A client-server command line interface for the SWTbahn.
uniba-swt/LetSynchronise
Framework for modelling, simulating, analysing, and optimising LET-based systems
uniba-swt/ia-toolset
Toolset for IAM interface theory with textual language, code editor, simulator and debugger
uniba-swt/ShaPE
ShaPE, a Shape Predicate Extractor.
uniba-swt/swtbahn-lantern
C program for the servo point lanterns on an SWTbahn platform.
uniba-swt/DSIlogger
Contains the logging functionality for the DSIsrc and DSIbin project
uniba-swt/DSIsrc
Contains the DSIsrc front-end component and its DSIcore algorithm implementation
uniba-swt/KPS2021
uniba-swt/MGE
uniba-swt/onion
C library to create simple HTTP servers and Web Applications.
uniba-swt/swtbahn-pidisplay
Software for displaying the IP address of the Raspberry Pi on an SWTbahn platform.