huynhtrankhanh

Huỳnh Trần Khanh's starred repositories

Arend

The Arend Proof Assistant

Language:JavaApache-2.069000

IUGen2

Fast and clean schedule generator for IUers!

Language:TypeScriptMIT1100

sketch-n-sketch

Direct Manipulation Programming for HTML/SVG

MIT100

babel-plugin-istanbul

A babel plugin that adds istanbul instrumentation to ES6 code

Language:JavaScriptBSD-3-Clause62000

fast-check

Property based testing framework for JavaScript (like QuickCheck) written in TypeScript

Language:TypeScriptMIT425500

Highly portable C system library: threads and synchronization primitives, sockets (TCP, UDP, SCTP), IPv4 and IPv6, IPC, hash functions (MD5, SHA-1, SHA-2, SHA-3, GOST), binary trees (RB, AVL) and more. Native code performance.

Language:CMIT68000

aider

aider is AI pair programming in your terminal

Language:PythonApache-2.01663600

key-lang

目标是最精致的编程语言

Language:RustMPL-2.011200

systemd

The systemd System and Service Manager

Language:CGPL-2.01297500

MS-DOS

The original sources of MS-DOS 1.25, 2.0, and 4.0 for reference purposes

Language:AssemblyMIT3057600

Sky-project

dự án giải nhất kì thi STKHKT cấp tỉnh 2023

Language:JavaScriptMIT600

scalaris

Language:Rust100

jaledit

just a little editor

Language:C++AGPL-3.0400

dbc-bot

A bot for running the Discord Brawl Cup

Language:Rust300

shittier

Shittier is an unconventional code formatting tool

Language:TypeScriptMIT160700

cve-rs

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

Language:RustNOASSERTION386000

art3

An extensible markup language and meta-language, for creating and manipulating works of art.

Language:RacketMIT400

makemeahanzi

Free, open-source Chinese character data

Language:JavaScriptNOASSERTION183300

systemf

a brainfuck interpreter supporting linux syscalls with an example HTTP server

Language:AssemblyGPL-3.023000

weaponizing-residual-censorship

your censor is my censor: weaponizing residual censorship to perform availability attacks

Language:PythonBSD-3-Clause2100

gleam

⭐️ A friendly language for building type-safe, scalable systems!

Language:RustApache-2.01717000

alphageometry

Language:PythonApache-2.0401600

synthesizable_h264

A Synthesizable implementation of H.264 Video Decoding

Language:CNOASSERTION3000

Cozette

A bitmap programming font optimized for coziness 💜

Language:PythonMIT279500

water-rs

WebAssembly Transport Executables Runtime -- A more "Pluggable" Transport

Language:RustApache-2.01300

water

WebAssembly Transport Executables Runtime

Language:GoApache-2.02200

act

Run your GitHub Actions locally 🚀

Language:GoMIT5342800

Algorithm-Visualizer

Explore a web application showcasing learned algorithms based on Algorithms and Data Structures standards, crafted with Next.js and Tailwind CSS for a dynamic and visually appealing experience.

Language:JavaScript0BSD200

se-project

Language:JavaScript200