GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • eniac
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles

This view

  • Original page
  • New address

GeezerVison is showing github.com — University of Pennsylvania | Distributed Systems Lab

Popular repositories Loading

  1. faas faas Public

    Factoring as a Service

    C 279 38

  2. Reef Reef Public

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

    Rust 79 7

  3. paella paella Public

    Paella: Low-latency Model Serving with Virtualized GPU Scheduling

    C++ 73 6

  4. flamingo flamingo Public

    A secure aggregation system for private federated learning

    Python 54 8

  5. Beldi Beldi Public

    Go 53 12

  6. zippel zippel Public

    The Zippel language for cryptographic proof systems, compiles into optimized and safe prover and verifier code.

    Rust 49 3

Repositories

Loading
Type
Language
Sort
Showing 10 of 46 repositories
  • zippel Public

    The Zippel language for cryptographic proof systems, compiles into optimized and safe prover and verifier code.

    Uh oh!

    There was an error while loading. Please reload this page.

    eniac/zippel's past year of commit activity
    Rust 49 MIT 3 47 (2 issues need help) 5 Updated Nov 5, 2026
  • cis7000-fa26-warmup Public

    Uh oh!

    There was an error while loading. Please reload this page.

    eniac/cis7000-fa26-warmup's past year of commit activity
    C 0 0 0 0 Updated Sep 18, 2026
  • Flow.ZIP Public

    Uh oh!

    There was an error while loading. Please reload this page.

    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

    Uh oh!

    There was an error while loading. Please reload this page.

    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

    Uh oh!

    There was an error while loading. Please reload this page.

    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.

    Uh oh!

    There was an error while loading. Please reload this page.

    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

    Uh oh!

    There was an error while loading. Please reload this page.

    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

    Uh oh!

    There was an error while loading. Please reload this page.

    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

    Uh oh!

    There was an error while loading. Please reload this page.

    eniac/Reef's past year of commit activity
    Rust 79 MIT 7 3 0 Updated Nov 21, 2025
  • coral Public

    Uh oh!

    There was an error while loading. Please reload this page.

    eniac/coral's past year of commit activity
    Rust 17 MIT 4 0 0 Updated Oct 21, 2025
View all repositories

People

@nvasilakis @gmosley @zyuxuan0115

Top languages

Loading…

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.

You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.