Pinned Loading

1. scallop-lang/scallop scallop-lang/scallop Public

   Framework and Language for Neurosymbolic Programming.

   Rust 497 31

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

   A neurosymbolic framework for vulnerability detection in code

   Dockerfile 402 56

3. geometry-sketchpad geometry-sketchpad Public

   A Cross-Platform Geometry Sketchpad written in Rust using specs

   Rust 10 3

4. mpm-rs mpm-rs Public

   Material Point Method for Soft Body/Fluid Physics Simulation in Rust

   Rust 15 4

5. petablox/arbitrar petablox/arbitrar Public

   User Guided API Misuse Detection

   OCaml 30 5

6. open-codeql open-codeql Public

   An Open-Source Recreation of CodeQL

   Rust