Pinned Loading

1. structuredllm/syncode structuredllm/syncode Public

   Efficient and general syntactical decoding for Large Language Models

   Python 325 35

2. uber/NullAway uber/NullAway Public

   A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead

   Java 4k 331

3. mpc-msri/EzPC mpc-msri/EzPC Public

   C++ 443 136

4. uiuc-focal-lab/IVAN uiuc-focal-lab/IVAN Public

   Incremental Verification of DNNs (https://arxiv.org/abs/2304.01874)

   Python 11

5. uber-go/nilaway uber-go/nilaway Public

   Static analysis tool to detect potential nil panics in Go code

   Go 3.8k 88

6. structuredllm/itergen structuredllm/itergen Public

   Iterate on LLM-based structured generation forward and backward

   Python 22 5