-
rocq-mathcomp Public
Rocq (Coq) & MathComp & MathComp Analysis
Rocq Prover MIT License UpdatedOct 24, 2026 -
RustyLR Public
A Bison-inspired parser generator and compiler frontend framework for Rust, with IELR(1), LALR(1), GLR, and LSP support.
-
-
lua_rust Public
lua syntax parser & interpreter in Rust
-
C-language-Parser-In-Rust Public
C language lexer & parser & virtual interpreter from scratch
-
-
-
R-Star-Tree Public
HeaderOnly STL-like template N-dimensional R*Tree implementation on C++14
-
A simulation of wake behind cylinder. dimensionality reduction by variational auto encoder
-
SPHOpenCL3D Public
3D Smoothed Particle Hydrodynamics with OpenCL
-
-
BigStr Public
A command-line tool to make string BIG
-
RayTracing Public
ray tracing engine
-
PINN Public
Physics Informed Neural Networks
-
-
EHMatrix Public
c++ template Matrix-Vector library using expression template
{{ message }}