Huỳnh Trần Khanh (huynhtrankhanh)

huynhtrankhanh

Geek Repo

Company:@coq-community

Location:Vietnam

Home Page:https://huynhtrankhanh.com

Github PK Tool:Github PK Tool

Huỳnh Trần Khanh's repositories

CoqCP

We combat sloppy arguments in competitive programming and raise the standard of rigor

Language:CoqLicense:UnlicenseStargazers:20Issues:2Issues:45

contrasleuth

Consider it an experiment. A wild experiment.

Language:TypeScriptLicense:MITStargazers:7Issues:1Issues:0

Crusgkeo

candy crush clone for OOP course. unlikely to be interesting, but the repo is public nonetheless

Language:TypeScriptLicense:UnlicenseStargazers:4Issues:2Issues:2

FINAL_EXAM_NOTES

it's important to prepare good notes. or else you'll fail!

License:0BSDStargazers:2Issues:0Issues:0
Language:C++Stargazers:2Issues:0Issues:0
Language:TypeScriptLicense:0BSDStargazers:2Issues:1Issues:0
Language:C++License:CC0-1.0Stargazers:1Issues:1Issues:0

kactl

KTH Algorithm Competition Template Library (... eller KTHs AC-tillverkande lapp)

Language:C++Stargazers:1Issues:0Issues:0

satire-news

Welcome! This repository contains completely accurate and up-to-date news about science and technology.

License:CC0-1.0Stargazers:1Issues:1Issues:0

VNOJ

A modern open-source online judge and contest platform system.

Language:PythonLicense:AGPL-3.0Stargazers:1Issues:0Issues:0

auth-backend

for database course. highly unlikely to be interesting

Language:JavaScriptLicense:UnlicenseStargazers:0Issues:1Issues:0
License:CC0-1.0Stargazers:0Issues:1Issues:0

cp-algorithms

Algorithm and data structure articles for https://cp-algorithms.com (based on http://e-maxx.ru)

License:CC-BY-SA-4.0Stargazers:0Issues:0Issues:0
Language:JavaScriptLicense:0BSDStargazers:0Issues:0Issues:0
Language:HTMLLicense:0BSDStargazers:0Issues:0Issues:0

EVMContractFuzzing

For prethesis and potentially thesis at HCMIU

Language:JavaScriptLicense:0BSDStargazers:0Issues:0Issues:0
Language:TypeScriptLicense:0BSDStargazers:0Issues:0Issues:0
Language:HTMLLicense:0BSDStargazers:0Issues:0Issues:0
Language:HTMLLicense:0BSDStargazers:0Issues:1Issues:0

humanlike-coq

coq but acts more human. hopefully mobile friendly 👀

Language:PHPLicense:0BSDStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

huynhtrankhanh.github.io

not my personal website

Language:JavaScriptLicense:0BSDStargazers:0Issues:1Issues:0
Stargazers:0Issues:0Issues:0

meow

just for kicks

Language:OCamlLicense:LGPL-2.1Stargazers:0Issues:0Issues:0

mongodb-tree-demo

How to use an efficient tree for a backend application

Language:JavaScriptStargazers:0Issues:0Issues:0

PDM_mindfulNESS_PC

PDM homework, nothing interesting

Language:JavaStargazers:0Issues:0Issues:0

ppcg-soundproof-cell

Random numbers for PPCG challenge

Language:JavaScriptLicense:UnlicenseStargazers:0Issues:1Issues:0
Language:JavaScriptStargazers:0Issues:0Issues:0

vscode-live-server

Launch a development local Server with live reload feature for static & dynamic pages.

License:MITStargazers:0Issues:0Issues:0

web-dev-on-cloud-script

Quick script to start doing web dev on cloud servers

License:UnlicenseStargazers:0Issues:0Issues:0