Pinned Loading

1. brownsys/K9db brownsys/K9db Public

   MySQL-compatible database for GDPR compliance by construction.

   C++ 30

2. model-checking/kani model-checking/kani Public

   Kani Rust Verifier

   Rust 2.2k 91

3. cs-concentration-optimizer cs-concentration-optimizer Public

   Forked from cs0320-s2023/final-project-afunk3-jhirschh-aagvania-hpeter11

   Using constraint programming to help CS students @ Brown generate concentration schedules.

   Java

4. sat-solver sat-solver Public

   Implementing a SAT solver for CS2951O.

   C++