shrin18

sensorapi

Simple .NET Core REST API server for Mobile/IoT sensors

souper

A superoptimizer for LLVM IR

klee

KLEE Symbolic Execution Engine

tutorials

assert-gold-mine

This is an informal repo for ASSERT teammates to share awesome stuff.

Bluetooth_App

Mini Project for TE ETRX

stokepresentation

An HTML presentation about my work on the Stoke Super-Optimiser

DynamicMultiChannelRL

Contains Implementation of Paper " S Wang, H Liu, P H Gomes, and B Krishnamachari ; Deep Reinforcement Learning for Dynamic Multichannel Access in Wireless Networks"

torch7

http://torch.ch

openflow-tutorial

Openflow Tutorial on Mininet

repairnator

Software development bot that automatically repairs build failures on Travis Continuous Integration. Join the bot revolution! :star2::robot::star2::revolving_hearts:

pox

The POX network software platform

gitTest

Just another Test file for Git

xPerturb

perturbation analysis, correctness attraction and randomization, by KTH Royal Institute of Technology

NakovForwardServer

TCP port forwarding software, written in Java: forwards local TCP port (e.g. 127.0.0.1:1521) to external port (0.0.0.0:1522)

WasmExplorer

code-in-5

class

Oriented Object Programming for Lua

POX_Firewall

Firewall controller module for POX OpenFlow controller