fstreun

Pinned Repositories

bazel-toolchain
LLVM toolchain for bazel
Language:Starlark00
bazel_clang_tidy
Run clang-tidy on Bazel C++ targets directly, efficiently, with caching enabled
Language:Starlark00
bootstrapper
Language:Go00
Flood-Generator
Language:Lua10
govpp
Go toolset for the VPP.
Language:Go00
libmoon
libmoon is a library for fast and flexible packet processing with DPDK and LuaJIT.
Language:Lua00
lightning-filter
Language:C00
lightning-filter-old
This is the lightning filter that allows SCION Sec-X traffic to bypass firewalls
Language:C00
logiops
An unofficial userspace driver for HID++ Logitech devices
Language:C++00
PayApp
Distributed System Project
Language:Java0 1 150

fstreun's Repositories

fstreun/Flood-Generator
Language:Lua10
fstreun/bazel-toolchain
LLVM toolchain for bazel
Language:Starlark00
fstreun/bazel_clang_tidy
Run clang-tidy on Bazel C++ targets directly, efficiently, with caching enabled
Language:Starlark00
fstreun/bootstrapper
Language:Go00
fstreun/govpp
Go toolset for the VPP.
Language:Go00
fstreun/libmoon
libmoon is a library for fast and flexible packet processing with DPDK and LuaJIT.
Language:Lua00
fstreun/lightning-filter
Language:C00
fstreun/lightning-filter-old
This is the lightning filter that allows SCION Sec-X traffic to bypass firewalls
Language:C00
fstreun/logiops
An unofficial userspace driver for HID++ Logitech devices
Language:C++00
fstreun/PayApp
Distributed System Project
Language:Java0 1 150
fstreun/netsec-deadlines
fstreun/redshift-controller
Controller for the application Redshift.
Language:Shell
fstreun/silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
fstreun/silver
Definition of the Viper intermediate verification language.
Language:Scala
fstreun/vpp
fstreun/VS_fstreun_Sensors
Distributed Systems - Assignment 1.1 Sensing with Android
Language:Java1
fstreun/wireguard-linux
Mirror only. Official repository is at https://git.zx2c4.com/wireguard-linux