Skip to content
Change the repository type filter

All

    Repositories list

    • flamingo

      Public
      A secure aggregation system for private federated learning
      Python
      MIT License
      85200Updated Mar 21, 2026Mar 21, 2026
    • rlix

      Public
      GPU time-sharing for concurrent LLM RL
      Python
      Apache License 2.0
      13200Updated Mar 13, 2026Mar 13, 2026
    • zk memory constructions in arkworks
      Rust
      MIT License
      1300Updated Nov 22, 2025Nov 22, 2025
    • Reef

      Public
      Reef: A zkSNARK system for proving that a committed document matches a regex
      Rust
      MIT License
      77820Updated Nov 21, 2025Nov 21, 2025
    • coral

      Public
      Rust
      MIT License
      21500Updated Oct 21, 2025Oct 21, 2025
    • quilt

      Public
      Quilt is a serverless optimizer that automatically merges workflows that consist of many functions (possibly in different languages) into one process thereby av…
      C
      1700Updated Oct 8, 2025Oct 8, 2025
    • splab

      Public
      Penn's Security and Privacy Lab
      HTML
      Other
      449100Updated Sep 12, 2025Sep 12, 2025
    • Dafny
      MIT License
      1900Updated Sep 5, 2025Sep 5, 2025
    • faas

      Public
      Factoring as a Service
      C
      GNU Lesser General Public License v3.0
      3827520Updated Jul 8, 2025Jul 8, 2025
    • Python
      GNU Affero General Public License v3.0
      0500Updated Jun 26, 2025Jun 26, 2025
    • A debloater for Python applications
      Python
      GNU General Public License v3.0
      0920Updated Jun 6, 2025Jun 6, 2025
    • oryx

      Public
      C++
      MIT License
      0100Updated Feb 18, 2025Feb 18, 2025
    • C++
      MIT License
      0700Updated Aug 28, 2024Aug 28, 2024
    • FP4

      Public
      C++
      MIT License
      0400Updated Jun 15, 2024Jun 15, 2024
    • Beaver

      Public
      Beaver: Practical Partial Snapshots for Distributed Cloud Services (OSDI 2024)
      C++
      MIT License
      0900Updated May 25, 2024May 25, 2024
    • splab-web

      Public
      A Hakyll [splab] website (https://www.cis.upenn.edu/~splab/) based on plclub website
      CSS
      19000Updated May 21, 2024May 21, 2024
    • paella

      Public
      Paella: Low-latency Model Serving with Virtualized GPU Scheduling
      C++
      MIT License
      67110Updated May 1, 2024May 1, 2024
    • mucache

      Public
      A caching framework for microservice applications
      Go
      MIT License
      52400Updated Apr 22, 2024Apr 22, 2024
    • incpir

      Public
      Incremental Offline/Online PIR
      C++
      MIT License
      11400Updated Apr 4, 2024Apr 4, 2024
    • Cowbird

      Public
      0000Updated Nov 11, 2023Nov 11, 2023
    • tvm-llis

      Public
      Python
      Apache License 2.0
      1000Updated Aug 8, 2023Aug 8, 2023
    • addax

      Public
      C++
      MIT License
      0200Updated Apr 15, 2023Apr 15, 2023
    • otti

      Public
      A zkSNARK compiler for optimization problems
      Python
      3700Updated Mar 31, 2023Mar 31, 2023
    • Beldi

      Public
      Go
      MIT License
      115300Updated Jan 18, 2023Jan 18, 2023
    • mu2sls

      Public
      A framework for correctly implementing stateful microservice applications on serverless using standard Python.
      Python
      MIT License
      41300Updated Jan 5, 2023Jan 5, 2023
    • Ibex

      Public
      Lua
      MIT License
      0000Updated Dec 2, 2022Dec 2, 2022
    • circ

      Public
      (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.
      Rust
      Other
      49000Updated Nov 10, 2022Nov 10, 2022
    • OrbWeaver

      Public
      OrbWeaver: Using IDLE Cycles in Programmable Networks for Opportunistic Coordination (NSDI 2022)
      Python
      MIT License
      3700Updated Aug 9, 2022Aug 9, 2022
    • MimicNet

      Public
      Predicting network performance at scale
      C++
      MIT License
      93510Updated Jul 3, 2022Jul 3, 2022
    • Cebinae

      Public
      Cebinae: Scalable In-network Fairness Augmentation (SIGCOMM 2022)
      Python
      42200Updated Jul 2, 2022Jul 2, 2022
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.