Skip to content

@brownsys Systems Research at Brown University

Change the repository type filter

All

    Repositories list

    56 repositories

    • Sesame

      Public
      Practical End-to-End Privacy Compliance with Policy Containers and Privacy Regions
      Rust
      •0•10•14•2•Updated Aug 12, 2025Aug 12, 2025

    • paralegal

      Public
      Paralegal is a static analyzer for Rust code that enforces privacy and security policies on programs.
      rustsecurityprivacystatic-analysisprivacy-protection
      Rust
      •
      MIT License
      •4•36•26•2•Updated Jul 16, 2025Jul 16, 2025

    • paralegal-compiler

      Public
      Rust
      •2•1•1•0•Updated Jul 9, 2025Jul 9, 2025

    • paralegal-bench

      Public
      Case study collection and benchmarker for the paralegal static analyzer
      Rust
      •0•0•0•0•Updated Jul 6, 2025Jul 6, 2025

    • systems-web

      Public
      systems.cs.brown.edu
      TeX
      •1•1•0•2•Updated Jun 22, 2025Jun 22, 2025

    • paralegal-osdi-2025-artifact

      Public
      Python
      •0•2•0•0•Updated May 28, 2025May 28, 2025

    • scrutinizer

      Public
      Analyzing function purity in Rust
      Rust
      •0•0•1•1•Updated May 6, 2025May 6, 2025

    • K9db

      Public
      MySQL-compatible database for GDPR compliance by construction.
      mysqlprivacydatabasesgdpr
      C++
      •
      MIT License
      •1•31•12•0•Updated Apr 11, 2025Apr 11, 2025

    • flowistry

      Public
      Flowistry is an IDE plugin for Rust that helps you focus on relevant code.
      Rust
      •
      MIT License
      •50•0•0•0•Updated Dec 22, 2024Dec 22, 2024

    • redis-soft-mem

      Public
      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.
      C
      •
      BSD 3-Clause "New" or "Revised" License
      •24k•0•0•0•Updated May 18, 2023May 18, 2023

    • rust-verification-tools

      Public
      RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
      Rust
      •
      Apache License 2.0
      •37•0•0•0•Updated Mar 7, 2023Mar 7, 2023

    • tracing-framework

      Public
      Projects related to end-to-end tracing and causal metadata propagation, such as X-Trace, Retro, and Pivot Tracing
      Java
      •
      BSD 3-Clause "New" or "Revised" License
      •22•87•4•9•Updated Oct 4, 2022Oct 4, 2022

    • GDPRbench

      Public
      Benchmarking how quickly storage systems respond to GDPR queries
      Java
      •6•0•0•0•Updated Jul 19, 2022Jul 19, 2022

    • hadoop

      Public
      Brown Systems Group mirror of Apache Hadoop
      Java
      •
      Apache License 2.0
      •9.1k•1•0•0•Updated Dec 13, 2017Dec 13, 2017

    • zookeeper-benchmark

      Public
      Our benchmarking tool for ZooKeeper
      Java
      •
      Other
      •37•83•2•1•Updated Oct 8, 2017Oct 8, 2017

    • pt4utils

      Public
      Monsoon Power Monitor .pt4 file utilities
      Python
      •
      GNU General Public License v3.0
      •4•5•0•1•Updated Sep 10, 2017Sep 10, 2017

    • spark

      Public
      Mirror of Apache Spark
      Scala
      •
      Apache License 2.0
      •29k•0•0•0•Updated Apr 11, 2017Apr 11, 2017

    • pane-website

      Public
      PANE Website
      HTML
      •0•1•2•0•Updated Apr 7, 2017Apr 7, 2017

    • ML

      Public
      Python
      •
      GNU General Public License v3.0
      •12•0•0•0•Updated Jan 18, 2017Jan 18, 2017

    • hotcrp-bar

      Public
      Fork of HotCRP for Brown CS Admissions
      PHP
      •
      Other
      •0•2•0•0•Updated Dec 30, 2016Dec 30, 2016

    • caffe

      Public
      Caffe: a fast open framework for deep learning.
      C++
      •
      Other
      •19k•0•0•0•Updated Dec 27, 2016Dec 27, 2016

    • protobuf

      Public
      Protocol Buffers - Google's data interchange format
      C++
      •
      Other
      •16k•0•0•0•Updated Dec 19, 2016Dec 19, 2016

    • tracing-framework-go

      Public
      Tracing framework implementation for golang
      Go
      •2•2•0•0•Updated Dec 10, 2016Dec 10, 2016

    • pylearningcurvepredictor

      Public
      predicting learning curves in python
      Python
      •35•0•0•0•Updated Sep 8, 2016Sep 8, 2016

    • macrobase

      Public
      Brown University fork of Macrobase - http://macrobase.io/
      Java
      •
      Apache License 2.0
      •126•0•0•0•Updated Aug 22, 2016Aug 22, 2016

    • brownsys-tez

      Public
      Mirror of Apache Tez
      Java
      •
      Apache License 2.0
      •435•0•0•0•Updated Apr 27, 2016Apr 27, 2016

    • brownsys-hive

      Public
      Mirror of Apache Hive
      Java
      •
      Apache License 2.0
      •4.8k•0•0•0•Updated Apr 7, 2016Apr 7, 2016

    • brownsys-hibench

      Public
      HiBench is a Hadoop benchmark suite.
      Java
      •
      Other
      •772•0•0•0•Updated Apr 4, 2016Apr 4, 2016

    • spark-sql-perf

      Public
      Scala
      •
      Apache License 2.0
      •412•0•0•0•Updated Mar 31, 2016Mar 31, 2016

    • brownsys-hadoop

      Public
      Old Brownsys Hadoop repository. Inactive. Use brownsys/hadoop for latest.
      Java
      •885•2•0•1•Updated Feb 23, 2016Feb 23, 2016