Ziyang Li Liby99

• Johns Hopkins University

• Baltimore, MD
• liby99.github.io

Pinned Loading

1. Framework and Language for Neurosymbolic Programming.

   Rust 505 34

2. A neurosymbolic framework for vulnerability detection in code

   Dockerfile 413 56

3. A Cross-Platform Geometry Sketchpad written in Rust using specs

   Rust 10 3

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

   Rust 15 4

5. User Guided API Misuse Detection

   OCaml 30 5

6. A native, customizable, notable, and magnifiable calendar for macOS

   Swift 3