Pinned Loading

1. iris-sast/cwe-bench-java iris-sast/cwe-bench-java Public

   A manually vetted dataset for security vulnerability detection in Java projects

   Python 37 3

2. TorchQL/torchql TorchQL/torchql Public

   TorchQL is a query language for Python-based machine learning models and datasets.

   Python 11

3. tapl tapl Public

   implementing chapters from types and programming languages and cis6700 to learn haskell

   Haskell 1

4. iris-sast/iris iris-sast/iris Public

   A neurosymbolic framework for vulnerability detection in code

   Python 18 3

5. type-theory-valentines type-theory-valentines Public

   type theory themed valentines

   3