Rujia Liu's repositories
core
MoonBit's standard library
Language:ShellApache-2.0000
hpp-fcl
An extension of the Flexible Collision Library
Language:C++NOASSERTION000
Idris2
A purely functional programming language with first class types
Language:IdrisNOASSERTION000
idris2-lsp
Language Server for Idris2
Language:IdrisBSD-3-Clause000
lean4
Lean 4 programming language and theorem prover
Language:LeanApache-2.0000
node-ts2hx
Typescript to Haxe transpiler written in JavaScript
Language:JavaScriptMIT000
ogre-next
Ogre 2.1 & 2.2 - scene-oriented, flexible 3D engine written in C++
Language:C++NOASSERTION000
Online2DIrregularBPP
My implementation of online 2D irregular BPP algorithm with state-of-the-art picking policy minimal surrounding waste.
Language:PythonGPL-3.0000
scryer-prolog
A modern Prolog implementation written mostly in Rust.
Language:RustBSD-3-Clause000