Pinned Loading

1. structuredllm/syncode structuredllm/syncode Public

   Efficient and general syntactical decoding for Large Language Models

   Python 272 27

2. uber/NullAway uber/NullAway Public

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

   Java 3.8k 303

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

   C++ 424 130

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

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

   Python 10

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

   Static analysis tool to detect potential nil panics in Go code

   Go 3.4k 75

6. structuredllm/itergen structuredllm/itergen Public

   Iterate on LLM-based structured generation forward and backward

   Python 15 2