Rujia Liu (rujialiu)

rujialiu

Geek Repo

Company:Eryiju Inc.

Location:Beijing

Github PK Tool:Github PK Tool

Rujia Liu's repositories

core

MoonBit's standard library

Language:ShellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

hpp-fcl

An extension of the Flexible Collision Library

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

Idris2

A purely functional programming language with first class types

Language:IdrisLicense:NOASSERTIONStargazers:0Issues:0Issues:0

idris2-lsp

Language Server for Idris2

Language:IdrisLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

lean4

Lean 4 programming language and theorem prover

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0

node-ts2hx

Typescript to Haxe transpiler written in JavaScript

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

ogre-next

Ogre 2.1 & 2.2 - scene-oriented, flexible 3D engine written in C++

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

Online2DIrregularBPP

My implementation of online 2D irregular BPP algorithm with state-of-the-art picking policy minimal surrounding waste.

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

scryer-prolog

A modern Prolog implementation written mostly in Rust.

Language:RustLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0