rujialiu

Eryiju Inc.Beijing

Pinned Repositories

gerbil
Gerbil Scheme
Language:Scheme00
hpp-fcl
An extension of the Flexible Collision Library
Language:C++0 0 00
Idris2
A purely functional programming language with first class types
Language:Idris0 0 00
idris2-lsp
Language Server for Idris2
Language:Idris0 0 00
lean4
Lean 4 programming language and theorem prover
Language:Lean0 0 00
llama.cpp
LLM inference in C/C++
Language:C++0 0 00
moonbit-core
MoonBit's standard library
Language:Shell0 0 00
node-ts2hx
Typescript to Haxe transpiler written in JavaScript
Language:JavaScript0 0 00
ogre-next
Ogre 2.1 & 2.2 - scene-oriented, flexible 3D engine written in C++
Language:C++0 0 00
Online2DIrregularBPP
My implementation of online 2D irregular BPP algorithm with state-of-the-art picking policy minimal surrounding waste.
Language:Python0 0 00

rujialiu's Repositories

rujialiu/gerbil
Gerbil Scheme
Language:Scheme00
rujialiu/hpp-fcl
An extension of the Flexible Collision Library
Language:C++0 0 00
rujialiu/Idris2
A purely functional programming language with first class types
Language:Idris0 0 00
rujialiu/idris2-lsp
Language Server for Idris2
Language:Idris0 0 00
rujialiu/lean4
Lean 4 programming language and theorem prover
Language:Lean0 0 00
rujialiu/llama.cpp
LLM inference in C/C++
Language:C++0 0 00
rujialiu/moonbit-core
MoonBit's standard library
Language:Shell0 0 00
rujialiu/node-ts2hx
Typescript to Haxe transpiler written in JavaScript
Language:JavaScript0 0 00
rujialiu/ogre-next
Ogre 2.1 & 2.2 - scene-oriented, flexible 3D engine written in C++
Language:C++0 0 00
rujialiu/Online2DIrregularBPP
My implementation of online 2D irregular BPP algorithm with state-of-the-art picking policy minimal surrounding waste.
Language:Python0 0 00
rujialiu/scryer-prolog
A modern Prolog implementation written mostly in Rust.
Language:Rust0 1 00
rujialiu/Uno
A next-gen Lagrange-Newton (SQP + barrier) solver for nonconvex constrained optimization
Language:C++