Pinned Repositories
clj-net-pcap
A wrapper/facade/whatever to enable/ease the use of jNetPcap (a libpcap based packet sniffing lib) in Clojure
dockstation
DockStation is developer-centric application to managing projects based on Docker. Instead of lots of CLI commands you can monitor, configure, and manage services and containers using just a GUI.
Extended-LCMS-Models
This github contains ProVerif models and addionnal material that will but used in a scientific paper
HTS221
Relative Humidity and Temperature Sensor
interactive-lp
Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
LatexFeatureDiagram
A latex code to easily create compact feature diagrams
LCMS_Models
phd_additional_material
uart_rpmsg_bus
uart based remote processor messaging bus
meremST's Repositories
meremST/uart_rpmsg_bus
uart based remote processor messaging bus
meremST/interactive-lp
Project materials related to logic programming for interactive/reactive systems. Contains the Ceptre programming language.
meremST/phd_additional_material
meremST/clj-net-pcap
A wrapper/facade/whatever to enable/ease the use of jNetPcap (a libpcap based packet sniffing lib) in Clojure
meremST/dockstation
DockStation is developer-centric application to managing projects based on Docker. Instead of lots of CLI commands you can monitor, configure, and manage services and containers using just a GUI.
meremST/Extended-LCMS-Models
This github contains ProVerif models and addionnal material that will but used in a scientific paper
meremST/HTS221
Relative Humidity and Temperature Sensor
meremST/LatexFeatureDiagram
A latex code to easily create compact feature diagrams
meremST/LCMS_Models
meremST/optee_os
Trusted side of the TEE
meremST/trustability-model
VerifPal model to check trustability of blockchain based SoC reconfiguration protocols