Pinned Loading

1. dezero_rs dezero_rs Public

   toy deep learning framework with define-by-run autodifferentiation in Rust

   Rust

2. packrust packrust Public

   packrat parser combinator with left recursion in Rust

   Rust

3. nimson nimson Public

   "functional" JSON parser in Nim

   Nim

4. bob bob Public

   a fish shell plugin that keeps your command history tidy

   Shell 2

5. ferrisat ferrisat Public

   CDCL based SAT solver in Rust

   Rust

6. krivine krivine Public

   lazy Krivine machine with optimizations

   Rust