Giters
Rujia Liu (rujialiu)

rujialiu

Geek Repo

47

followers

28

following

791

stars

Company:Eryiju Inc.

Location:Beijing

Github PK Tool:Github PK Tool

Rujia Liu's starred repositories

gpt4all

GPT4All: Chat with Local LLMs on Any Device

Language:C++License:MITStargazers:68223Issues:638Issues:1761

nes

NES emulator written in Go.

Language:GoLicense:MITStargazers:5411Issues:144Issues:34

cc65

cc65 - a freeware C compiler for 6502 based systems

Language:CLicense:ZlibStargazers:2250Issues:90Issues:962

jank

A Clojure dialect hosted on LLVM with native C++ interop

Language:C++License:MPL-2.0Stargazers:1542Issues:44Issues:45

Ipopt

COIN-OR Interior Point Optimizer IPOPT

Language:C++License:NOASSERTIONStargazers:1362Issues:43Issues:588

pocketpy

Open Source Python Interpreter in 1 File for Game Scripting

Language:C++License:MITStargazers:1247Issues:12Issues:119

awesome-gbadev

A curated list of Game Boy Advance development resources

License:NOASSERTIONStargazers:984Issues:31Issues:8

v8pp

Bind C++ functions and classes into V8 JavaScript engine

Language:C++License:NOASSERTIONStargazers:891Issues:33Issues:138

bvh

A modern C++ BVH construction and traversal library

Language:C++License:MITStargazers:882Issues:17Issues:59

w2c2

Translates WebAssembly modules to portable C

Language:CLicense:MITStargazers:703Issues:19Issues:26

teenygrad

If tinygrad wasn't small enough for you...

Language:PythonLicense:MITStargazers:622Issues:10Issues:0

n64js

An n64 emulator in JavaScript

Language:JavaScriptLicense:MITStargazers:609Issues:57Issues:13

pi-forall

A demo implementation of a simple dependently-typed language

Language:HaskellLicense:BSD-3-ClauseStargazers:553Issues:34Issues:5

derw

An Elm-inspired language that transpiles to TypeScript

Language:TypeScriptLicense:BSD-3-ClauseStargazers:374Issues:13Issues:8

SciLean

Scientific computing in Lean 4

Language:LeanLicense:Apache-2.0Stargazers:277Issues:17Issues:31

analyze

NaiveSystems Analyze is a static analysis tool for code security and compliance.

Language:C++License:GPL-3.0Stargazers:162Issues:4Issues:4

wildmeshing-toolkit

Toolkit for Meshing in the Wild

Language:C++License:NOASSERTIONStargazers:102Issues:11Issues:200

rowscript

RowScript programming language, making a better browser world

Language:RustLicense:MITStargazers:97Issues:8Issues:156

v8-nuget

NuGet package for V8 JavaScript Engine

Language:PythonStargazers:91Issues:7Issues:29

tic80-typescript

Create your TIC-80 games with TypeScript

Language:JavaScriptLicense:MITStargazers:57Issues:5Issues:9

tinyloader

Language:PythonLicense:Apache-2.0Stargazers:54Issues:4Issues:2

TQ-Bundler

The all-in-one TIC-80 bundler

Language:RustStargazers:23Issues:5Issues:9

moonbit-RFCs

RFCs of MoonBit lang

Stargazers:17Issues:2Issues:1

lambda-calculus

Lambda Calculus compiler for Codewars

Language:JavaScriptLicense:MITStargazers:15Issues:4Issues:48

HouLean

Lean 4 as a scripting language in Houdini

Language:C++Stargazers:15Issues:2Issues:0

js7800

JS7800 is an enhanced JavaScript port of the ProSystem Atari 7800 emulator

Language:JavaScriptLicense:GPL-2.0Stargazers:10Issues:3Issues:1

LeanGccBackend

Lean4 backend using `libgccjit`!

Language:LeanStargazers:10Issues:3Issues:0

lean-gccjit

libgccjit bindings for Lean4

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

dependent-types-tutorial

Language:IdrisStargazers:5Issues:5Issues:0

cicada

Cicada Language

Language:TypeScriptLicense:GPL-3.0Stargazers:2Issues:0Issues:0