Systems Research at Brown University
- 25 followers
- Providence, RI
- https://systems.cs.brown.edu
- @SystemsAtBrown
Pinned Loading
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 - paralegal-compiler Public
brownsys/paralegal-compiler’s past year of commit activity - paralegal-osdi-2025-artifact Public
brownsys/paralegal-osdi-2025-artifact’s past year of commit activity - 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 - 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
Top languages
Loading…
Most used topics
Loading…