Pinned Loading

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

   Framework and Language for Neurosymbolic Programming.

   Rust 415 22

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

   A neurosymbolic framework for vulnerability detection in code

   Dockerfile 255 35

3. geometry-sketchpad geometry-sketchpad Public

   A Cross-Platform Geometry Sketchpad written in Rust using specs

   Rust 8 3

4. mpm-rs mpm-rs Public

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

   Rust 15 3

5. petablox/arbitrar petablox/arbitrar Public

   User Guided API Misuse Detection

   OCaml 29 5

6. saemanga-rust saemanga-rust Public

   Minimal Manga Reader in Rust, using Rocket, Handlebars, Webpack and TypeScript

   Rust 8