Skip to content
@brownsys

Systems Research at Brown University

Pinned Loading

  1. K9db K9db Public

    MySQL-compatible database for GDPR compliance by construction.

    C++ 30

  2. paralegal paralegal Public

    Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can signup for our official release at the link below

    Rust 15 2

  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 86 22

  4. zookeeper-benchmark zookeeper-benchmark Public

    Our benchmarking tool for ZooKeeper

    Java 80 36

Repositories

Showing 10 of 53 repositories
  • paralegal Public

    Statically Enforce Privacy and Security Policies on Rust code using dataflow analysis enhanced by exploiting ownership types. You can signup for our official release at the link below

    brownsys/paralegal’s past year of commit activity
    Rust 15 MIT 2 25 (5 issues need help) 1 Updated Nov 28, 2024
  • scrutinizer Public

    Analyzing function purity in Rust

    brownsys/scrutinizer’s past year of commit activity
    Rust 0 0 0 0 Updated Nov 26, 2024
  • Sesame Public

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

    brownsys/Sesame’s past year of commit activity
    Rust 6 0 17 6 Updated Nov 21, 2024
  • systems-web Public

    systems.cs.brown.edu

    brownsys/systems-web’s past year of commit activity
    TeX 1 1 0 2 Updated Sep 11, 2024
  • 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 45 0 0 Updated Jul 26, 2024
  • K9db Public

    MySQL-compatible database for GDPR compliance by construction.

    brownsys/K9db’s past year of commit activity
    C++ 30 MIT 0 13 (1 issue needs help) 0 Updated Jul 24, 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,116 0 0 Updated May 18, 2023
  • rust-verification-tools Public Forked from project-oak/rust-verification-tools

    RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

    brownsys/rust-verification-tools’s past year of commit activity
    Rust 0 Apache-2.0 37 0 0 Updated Mar 7, 2023
  • tracing-framework Public

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

    brownsys/tracing-framework’s past year of commit activity
    Java 86 BSD-3-Clause 22 4 9 Updated Oct 4, 2022
  • GDPRbench Public Forked from GDPRbench/GDPRbench

    Benchmarking how quickly storage systems respond to GDPR queries

    brownsys/GDPRbench’s past year of commit activity
    Java 0 6 0 0 Updated Jul 19, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…