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 93 14

2. iris-sast/iris iris-sast/iris Public

   A neurosymbolic framework for vulnerability detection in code

   Dockerfile 347 52

3. type-theory-valentines type-theory-valentines Public

   type theory themed valentines

   5

4. lenianiva/Prismriver lenianiva/Prismriver Public

   (Mirror) A Music formalization library and DSL in Lean 4

   Lean 17

5. neuralprogram/codeql-lsp-mcp neuralprogram/codeql-lsp-mcp Public

   MCP server for interfacing with the CodeQL Language Server

   TypeScript 6

6. neuralprogram/qlcoder neuralprogram/qlcoder Public

   Agentic Framework for Synthesizing CodeQL Queries

   Python 10 1