GeezerVison is showing github.com — University of Pennsylvania | Distributed Systems Lab
Popular repositories
Loading
Factoring as a Service
C
279
38
Reef: A zkSNARK system for proving that a committed document matches a regex
Rust
79
7
Paella: Low-latency Model Serving with Virtualized GPU Scheduling
C++
73
6
A secure aggregation system for private federated learning
Python
54
8
The Zippel language for cryptographic proof systems, compiles into optimized and safe prover and verifier code.
Rust
49
3
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
C
C#
C++
CSS
Dafny
Go
HTML
Lua
P4
Python
Rust
Shell
Sort
Showing 10 of 46 repositories
zippel
Public
The Zippel language for cryptographic proof systems, compiles into optimized and safe prover and verifier code.
eniac/zippel's past year of commit activity
eniac/cis7000-fa26-warmup's past year of commit activity
C
0
0
0
0
Updated Sep 18, 2026
eniac/Flow.ZIP's past year of commit activity
C++
1
MIT
1
0
0
Updated Aug 26, 2026
incpir
Public
Incremental Offline/Online PIR
eniac/incpir's past year of commit activity
C++
14
MIT
1
0
0
Updated Jul 12, 2026
eniac/segmented-memory's past year of commit activity
Rust
3
MIT
1
0
0
Updated Jun 27, 2026
quilt
Public
Quilt is a serverless optimizer that automatically merges workflows that consist of many functions (possibly in different languages) into one process thereby avoiding high invocation latency, communication overhead, and long chains of cold starts.
eniac/quilt's past year of commit activity
C
7
2
0
0
Updated Jun 9, 2026
flamingo
Public
A secure aggregation system for private federated learning
eniac/flamingo's past year of commit activity
Python
54
MIT
8
0
0
Updated Mar 21, 2026
rlix
Public
Forked from
rlops/rlix
GPU time-sharing for concurrent LLM RL
eniac/rlix's past year of commit activity
Python
2
Apache-2.0
20
0
0
Updated Mar 13, 2026
Reef
Public
Reef: A zkSNARK system for proving that a committed document matches a regex
eniac/Reef's past year of commit activity
Rust
79
MIT
7
3
0
Updated Nov 21, 2025
eniac/coral's past year of commit activity
Rust
17
MIT
4
0
0
Updated Oct 21, 2025
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.