Pinned Loading

1. RustyLR RustyLR Public

   A Bison-inspired parser generator and compiler frontend framework for Rust, with IELR(1), LALR(1), GLR, and LSP support.

   Rust 30 2

2. R-Star-Tree R-Star-Tree Public

   HeaderOnly STL-like template N-dimensional R*Tree implementation on C++14

   C++ 14 4

3. C-language-Parser-In-Rust C-language-Parser-In-Rust Public

   C language lexer & parser & virtual interpreter from scratch

   Rust 29 2

4. SPHOpenCL3D SPHOpenCL3D Public

   3D Smoothed Particle Hydrodynamics with OpenCL

   C++ 4 1

5. lua_rust lua_rust Public

   lua syntax parser & interpreter in Rust

   Rust 6 1

6. rocq-mathcomp rocq-mathcomp Public

   Rocq (Coq) & MathComp & MathComp Analysis

   Rocq Prover