8000 sskausik08 (Kausik Subramanian) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View sskausik08's full-sized avatar
🏠
Working from home
🏠
Working from home
4 followers · 0 following

Block or report sskausik08

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Stars

Showing results

facebook / openr

Distributed platform for building autonomic network functions.

C++ 914 244 Updated Jun 27, 2025

nsg-ethz / p4-learning

Compilation of P4 exercises, examples, documentation, slides for learning or teaching

Python 579 191 Updated Oct 9, 2023

p4lang / p4c

P4_16 reference compiler

C++ 769 466 Updated Jun 26, 2025

progwriter / TMgen

TMgen is a tool for generating spatial, temporal, and spatio-temporal traffic matrices.

Python 26 10 Updated Jun 18, 2025

nsg-ethz / synet

SyNET Network-wide Configuration Synthesis

Python 27 8 Updated Dec 7, 2017

sskausik08 / Genesis

Data Plane Synthesis in Multi-Tenant networks

TeX 3 Updated May 25, 2018

Z3Prover / z3

The Z3 Theorem Prover

C++ 11,144 1,540 Updated Jun 27, 2025

sambayless / monosat

MonoSAT - An SMT solver for Monotonic Theories

C++ 113 32 Updated Mar 21, 2025

frenetic-lang / pyretic

The Pyretic language and runtime system

Python 160 97 Updated Jun 26, 2018

nvbn / thefuck

Magnificent app which corrects your previous console command.

Python 92,570 3,717 Updated Jul 19, 2024

noxrepo / pox

The POX network software platform

Python 639 477 Updated Oct 19, 2024
0