Giters
Aaron A. Glenn (aaglenn)

aaglenn

Geek Repo

12

followers

9

following

1k

stars

Github PK Tool:Github PK Tool

Aaron A. Glenn's starred repositories

blockly

The web-based visual programming editor.

Language:TypeScriptLicense:Apache-2.0Stargazers:12255Issues:450Issues:2761

pwru

Packet, where are you? -- eBPF-based Linux kernel networking debugger

Language:CLicense:Apache-2.0Stargazers:2599Issues:33Issues:75

Idris2

A purely functional programming language with first class types

Language:IdrisLicense:NOASSERTIONStargazers:2458Issues:64Issues:1169

FISSURE

The RF and reverse engineering framework for everyone. Follow and ★ to show your support!

Language:PythonLicense:GPL-3.0Stargazers:1522Issues:49Issues:20

mvsqlite

Distributed, MVCC SQLite that runs on FoundationDB.

Language:RustLicense:Apache-2.0Stargazers:1356Issues:24Issues:40

CreuSAT

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

Language:RustLicense:MITStargazers:597Issues:8Issues:8

omnetpp

OMNeT++ Discrete Event Simulator

Language:CStargazers:561Issues:30Issues:1016

go-tc

traffic control in pure go - it allows to read and alter queues, filters and classes

Language:GoLicense:MITStargazers:423Issues:6Issues:34

LibreQoS

A Quality of Experience and Smart Queue Management system for ISPs. Leverage CAKE to improve network responsiveness, enforce bandwidth plans, and reduce bufferbloat.

Language:HTMLLicense:GPL-2.0Stargazers:388Issues:20Issues:274

symbiotic

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

Language:PythonLicense:MITStargazers:305Issues:12Issues:175

simbricks

Main Repository for the SimBricks Modular Full-System Simulation Framework.

Language:VerilogLicense:MITStargazers:111Issues:10Issues:44

b5

A visual programming language for learning, prototyping, and fun. Inspired by p5.js.

Language:JavaScriptLicense:MITStargazers:75Issues:4Issues:2

pcp

PCP client library

Language:CLicense:BSD-2-ClauseStargazers:68Issues:15Issues:13

l2fwd-nv

l2fwd-nv provides an example of how to leverage your DPDK network application with the NVIDIA GPUDirect RDMA techonology.

Language:C++License:Apache-2.0Stargazers:65Issues:8Issues:9

agda-routing

An Agda library for reasoning about asynchronous iterative algorithms and network routing problems

Language:AgdaStargazers:24Issues:8Issues:1

OpenTCAM

An open-source Ternary Content Addressable Memory (TCAM) compiler.

Language:PythonLicense:Apache-2.0Stargazers:18Issues:1Issues:1

Simple-P4runtime-Controller

Simple P4Runtime controller demonstrating the packet-in/packet-out functionality

Language:PythonLicense:Apache-2.0Stargazers:14Issues:1Issues:0

mcmc

Markov chain Monte Carlo with Metropolis-Hasting algorithm

Language:HaskellLicense:GPL-3.0Stargazers:14Issues:3Issues:2

rusty-p4

p4 controller in Rust

Language:RustLicense:Apache-2.0Stargazers:9Issues:2Issues:3

racket-p5

Language:RacketLicense:MITStargazers:8Issues:2Issues:0

GTPV1-P4

This p4 program provides GTP.v1 encapsulation/decapsulation/steering. Furthermore you can get hop latency via postcard telemetry from each node of the network.

Language:P4Stargazers:8Issues:2Issues:0

k8s-NetworkingDeepDive-demo

Didactic project for K8s Networking analysis

Language:ShellStargazers:8Issues:2Issues:0

finsy

P4Runtime Controller Library

Language:PythonLicense:Apache-2.0Stargazers:7Issues:3Issues:16

go-opennsl

OpenNSL library for Go lang.

Language:GoLicense:Apache-2.0Stargazers:6Issues:3Issues:0

PMNet

Language:C++Stargazers:6Issues:2Issues:0

leapfrog

Certified Equivalence for Protocol Parsers

Language:CoqLicense:Apache-2.0Stargazers:6Issues:0Issues:0

mirrorsolve

Language:CoqLicense:NOASSERTIONStargazers:5Issues:0Issues:0

Quality-of-Service-Based-Queuing

To optimize QoS, a queuing algorithm was implemented using Verilog HDL on FPGAs for networks.

Language:VerilogLicense:MITStargazers:4Issues:1Issues:0

p4lang_memcached_load_balancer

Assignment at "Advanced Topics in Networks" course

Language:P4Stargazers:2Issues:1Issues:0

ufes-redes-sdn-tutorial

Apresentação do artigo da SIGCOMM 2021 Tutorial: 5G-Connected Edge Cloud

Stargazers:2Issues:1Issues:0