Software Technology Group

pi4 Public

OCaml 0 Apache-2.0 1 0 1 Updated Sep 21, 2022
MUBench Public

Python 40 24 46 6 Updated Sep 15, 2022
dep-classes-smt Public

Scala 0 0 0 0 Updated Sep 7, 2022
dtn-dwd Public
Proof-of-Concept demonstrator for distributing DWD warnings via dtn

HTML 0 0 0 0 Updated Jul 29, 2022
prisma Public
A tierless language for enforcing protocols in decentralized applications in Scala. [@drcicero]

Scala 1 Apache-2.0 0 0 0 Updated May 17, 2022
wasp Public
WebAssembly module decoder in C++

C++ 0 Apache-2.0 15 0 0 Updated Apr 27, 2022
wassail Public
wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of WebAssembly modules.

WebAssembly 0 4 0 0 Updated Apr 27, 2022
dtnmqtt Public
MQTT to DTN/Bundle Protocol 7 Proxy using dtn7-rs

Rust 1 0 0 0 Updated Mar 27, 2022
daimpl_ws21_e-dtn7_schmidt Public

Rust 0 0 0 0 Updated Mar 22, 2022
thesis-2021-stricker-differentiable Public
Supervisor: [@drcicero]. Differentiable Programming Thesis

TeX 0 Apache-2.0 0 4 0 Updated Mar 21, 2022

Popular repositories