Skip to content
@brownsys

Systems Research at Brown University

Pinned Loading

  1. K9db K9db Public

    MySQL-compatible database for GDPR compliance by construction.

    C++ 32 1

  2. paralegal paralegal Public

    Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.

    Rust 42 4

  3. tracing-framework tracing-framework Public

    Projects related to end-to-end tracing and causal metadata propagation, such as X-Trace, Retro, and Pivot Tracing

    Java 90 22

  4. zookeeper-benchmark zookeeper-benchmark Public

    Our benchmarking tool for ZooKeeper

    Java 86 37

Repositories

Showing 10 of 56 repositories
  • paralegal Public

    Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.

    brownsys/paralegal’s past year of commit activity
    Rust 42 MIT 4 27 (6 issues need help) 2 Updated Dec 8, 2025
  • Sesame Public

    Practical End-to-End Privacy Compliance with Policy Containers and Privacy Regions

    brownsys/Sesame’s past year of commit activity
    Rust 11 0 13 0 Updated Dec 6, 2025
  • K9db Public

    MySQL-compatible database for GDPR compliance by construction.

    brownsys/K9db’s past year of commit activity
    C++ 32 MIT 1 13 (1 issue needs help) 0 Updated Dec 5, 2025
  • systems-web Public

    systems.cs.brown.edu

    brownsys/systems-web’s past year of commit activity
    TeX 1 1 0 2 Updated Sep 17, 2025
  • paralegal-compiler Public
    brownsys/paralegal-compiler’s past year of commit activity
    Rust 1 2 1 0 Updated Jul 9, 2025
  • paralegal-bench Public

    Case study collection and benchmarker for the paralegal static analyzer

    brownsys/paralegal-bench’s past year of commit activity
    Rust 0 0 0 0 Updated Jul 6, 2025
  • paralegal-osdi-2025-artifact Public
    brownsys/paralegal-osdi-2025-artifact’s past year of commit activity
    Python 2 0 0 0 Updated May 28, 2025
  • scrutinizer Public

    Analyzing function purity in Rust

    brownsys/scrutinizer’s past year of commit activity
    Rust 0 0 1 1 Updated May 6, 2025
  • flowistry Public Forked from willcrichton/flowistry

    Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

    brownsys/flowistry’s past year of commit activity
    Rust 0 MIT 63 0 0 Updated Dec 22, 2024
  • redis-soft-mem Public Forked from redis/redis

    Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.

    brownsys/redis-soft-mem’s past year of commit activity
    C 0 BSD-3-Clause 24,770 0 0 Updated May 18, 2023
View all repositories

Top languages

Loading…

Most used topics

Loading…