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

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

   A neurosymbolic framework for vulnerability detection in code

   Dockerfile 325 52

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

   type theory themed valentines

   5

4. lenianiva/Prismriver lenianiva/Prismriver Public

   (Mirror) A Music DSL in Lean 4

   Lean 8

5. rogerburtonpatel/rocq-n-roll rogerburtonpatel/rocq-n-roll Public

   The sound of soundness. An interactive music player for Rocq Proofs.

   Rust 4

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

   MCP server for interfacing with the CodeQL Language Server

   TypeScript 2