eniac/Speedlight

1

faas

Factoring as a Service

C

261

2

Reef

Reef: A zkSNARK system for proving that a committed document matches a regex

Rust

60

3

Beldi

Go

51

4

paella

Paella: Low-latency Model Serving with Virtualized GPU Scheduling

C++

39

5

flamingo

A secure aggregation system for private federated learning

Python

32

6

MimicNet

Predicting network performance at scale

C++

30

7

Flightplan

Flightplan is a toolchain for the flexible decomposition of P4 programs and their allocation to heterogeneous hardware to improve performance, reliability and utilisation of software-defined networks.

C

29

8

Mantis

Mantis: Reactive Programmable Switches (SIGCOMM 2020)

C++

22

9

Cebinae

Cebinae: Scalable In-network Fairness Augmentation (SIGCOMM 2022)

Python

21

10

incpir

Incremental Offline/Online PIR

C++

14

11

TELEPORT

Optimizing data-intensive systems in disaggregated data centers

C

13

12

mu2sls

A framework for correctly implementing stateful microservice applications on serverless using standard Python.

Python

10

13

tpprof

Python

9

14

mucache

A caching framework for microservice applications

Go

9

15

Beaver

Beaver: Practical Partial Snapshots for Distributed Cloud Services (OSDI 2024)

C++

8

16

FDP

FDP is a portable demo/teaching platform for computer networking. It builds on existing tooling to enable end-to-end experimentation and zero-effort in-browser interactive visualization. It includes an example teaching demo and a demo for P4-based SDN research.

C#

8

17

otti

A zkSNARK compiler for optimization problems

Python

6

18

OrbWeaver

OrbWeaver: Using IDLE Cycles in Programmable Networks for Opportunistic Coordination (NSDI 2022)

Python

6

19

crypscan

A suite of tools for cryptographic analysis developed with system administrators in mind.

Shell

5

20

FP4

C++

4

21

IFS

Programmable switch with optional client privacy

C++

3

22

addax

C++

1