SALAD Lab at UCSD

Popular repositories Loading

1. python-pbt-eval python-pbt-eval Public

   The artifact associated with the paper "An Empirical Evaluation of Property-Based Testing in Python" for OOPSLA 2025.

   Jupyter Notebook 6 1

2. aspen aspen Public

   Jupyter Notebook 1 1

3. Kale Kale Public

   A transformation-safe spreadsheet system

   TypeScript 1

4. oceanography-show-and-tell-f24 oceanography-show-and-tell-f24 Public

   Jupyter Notebook

5. messageformat.dev messageformat.dev Public

   Forked from nicolo-ribaudo/messageformat.dev

   JavaScript

6. docker-nicad docker-nicad Public

   Dockerfile for the NiCad clone detector

   Dockerfile