Giters
Huỳnh Trần Khanh (huynhtrankhanh)

huynhtrankhanh

Geek Repo

122

followers

494

following

742

stars

Company:@coq-community

Location:Vietnam

Home Page:https://huynhtrankhanh.com

Github PK Tool:Github PK Tool

Huỳnh Trần Khanh's starred repositories

FiraCode

Free monospaced font with programming ligatures

Language:ClojureLicense:OFL-1.1Stargazers:77201Issues:716Issues:1333

bun

Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one

Language:ZigLicense:NOASSERTIONStargazers:74074Issues:602Issues:9218

ui

Beautifully designed components that you can copy and paste into your apps. Accessible. Customizable. Open Source.

Language:TypeScriptLicense:MITStargazers:73541Issues:235Issues:2421

fanqiang

翻墙-科学上网

Language:KotlinStargazers:38397Issues:1199Issues:761

shadowsocks-android

A shadowsocks client for Android

Language:KotlinLicense:NOASSERTIONStargazers:35177Issues:1566Issues:2496

zig

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Language:ZigLicense:MITStargazers:34758Issues:368Issues:11495

Telegram

Telegram for Android source

Language:JavaLicense:GPL-2.0Stargazers:25201Issues:1197Issues:0

flow

Adds static typing to JavaScript to improve developer productivity and code quality.

Language:OCamlLicense:MITStargazers:22087Issues:386Issues:6673

ruffle

A Flash Player emulator written in Rust

Language:RustLicense:NOASSERTIONStargazers:15643Issues:159Issues:11356

win12

Windows 12 网页版，在线体验 点击下面的链接在线体验

Language:JavaScriptLicense:EPL-2.0Stargazers:6606Issues:44Issues:351

ts-sql

A SQL database implemented purely in TypeScript type annotations.

Language:TypeScriptStargazers:3215Issues:27Issues:4

Unexpected-Keyboard

A lightweight virtual keyboard for developers.

Language:JavaLicense:GPL-3.0Stargazers:1475Issues:32Issues:518

motion-latent-diffusion

[CVPR 2023] Executing your Commands via Motion Diffusion in Latent Space, a fast and high-quality motion diffusion model

Language:PythonLicense:MITStargazers:583Issues:11Issues:60

Web-Environment-Integrity

Stargazers:538Issues:113Issues:107

coq-tricks

Tricks you wish the Coq manual told you

Language:CoqStargazers:484Issues:26Issues:14

vellvm

The Vellvm (Verified LLVM) coq development.

Language:LLVMLicense:NOASSERTIONStargazers:398Issues:20Issues:240

pokemonorbigdata

Is it Pokemon or Big Data ?

Language:JavaScriptStargazers:346Issues:6Issues:15

puppeteer-with-fingerprints

Anonymous automation via puppeteer with fingerprint replacement technology.

Language:JavaScriptLicense:MITStargazers:298Issues:13Issues:133

reader

tReader，又一个 txt 文本阅读器，Web App; Yet another txt reader

Language:JavaScriptLicense:MPL-2.0Stargazers:150Issues:4Issues:16

graphql-ts-client

Typescript DSL for GraphQL.

Language:TypeScriptLicense:MITStargazers:147Issues:6Issues:23

llmstep

llmstep: [L]LM proofstep suggestions in Lean 4.

Language:PythonLicense:MITStargazers:118Issues:4Issues:5

wasi-shim

Patches the AssemblyScript compiler to utilize WASI imports instead of Web APIs.

Language:TypeScriptLicense:Apache-2.0Stargazers:99Issues:6Issues:0

es-shim-api

API contract, and rudimentary tests, for modules that conform to the *es-shim API*

Language:JavaScriptLicense:MITStargazers:77Issues:7Issues:6

negentropy

Language:C++License:MITStargazers:68Issues:3Issues:3

PicoBlaze_Simulator_in_JS

Simulator (more accurately: an assembler and an emulator) for Xilinx PicoBlaze, runnable in a browser. That is my Bachelor thesis.

Language:JavaScriptLicense:MITStargazers:23Issues:2Issues:25

CS117.L21

Language:PythonStargazers:6Issues:1Issues:0

Java-oop-lab

Language:JavaStargazers:3Issues:1Issues:0

PeriodiCode

Language:PythonLicense:CC0-1.0Stargazers:2Issues:1Issues:0

programming-defense

React Programming Defense Game

Language:TypeScriptStargazers:2Issues:1Issues:0

rl-ttt

Reiniforcement learning Tic-Tac-Toe

Language:PythonStargazers:1Issues:1Issues:0