Skip to content
@eniac

University of Pennsylvania | Distributed Systems Lab

Popular repositories Loading

  1. faas faas Public

    Factoring as a Service

    C 278 38

  2. Reef Reef Public

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

    Rust 78 7

  3. paella paella Public

    Paella: Low-latency Model Serving with Virtualized GPU Scheduling

    C++ 72 6

  4. Beldi Beldi Public

    Go 53 12

  5. flamingo flamingo Public

    A secure aggregation system for private federated learning

    Python 53 8

  6. MimicNet MimicNet Public

    Predicting network performance at scale

    C++ 34 9

Repositories

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
    Rust 2 MIT 0 37 (2 issues need help) 4 Updated Sep 19, 2026
  • eniac/cis7000-fa26-warmup's past year of commit activity
    C 0 0 0 0 Updated Sep 18, 2026
  • Flow.ZIP Public
    eniac/Flow.ZIP's past year of commit activity
    C++ 1 MIT 0 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
  • segmented-memory Public

    zk memory constructions in arkworks

    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 1 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 53 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 78 MIT 7 2 0 Updated Nov 21, 2025
  • coral Public
    eniac/coral's past year of commit activity
    Rust 17 MIT 3 0 0 Updated Oct 21, 2025

Top languages

Loading…