cywongnorman's repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
mkcert
A simple zero-config tool to make locally trusted development certificates with any names you'd like.
Interview_Notes-Chinese
2018/2019/校招/春招/秋招/自然语言处理(NLP)/深度学习(Deep Learning)/机器学习(Machine Learning)/C/C++/Python/面试笔记
free-programming-books
:books: Freely available programming books
concerto-platform
Concerto Platform (Testing)
Calc3_CheatSheet
PDF TeX-based Cheat Sheet for Calculus 3
GateOne
Gate One is an HTML5-powered terminal emulator and SSH client
hkrugml4b
Machine Learning for Beginners https://github.com/hkrusers/hkrugml4b
quantum-game
Quantum Game - a puzzle game with real quantum mechanics in a browser
RecentTabList
A Safari extension to list and filter recently closed tabs
proof-assistant
Online platform to enable Logic students to write, verify, and store System L style Natural Deduction proofs with real-time proof-checking
json-editor
JSON Schema Based Editor
github-travis-ecs
Use github and travis-ci to build docker image and push to AWS ECR, then use AWS ECS Cluster or AWS Batch to run container service.
LaTeX2HTML5
LaTeX web components
LaTeX2JS
LaTeX and PSTricks rendering for the Web
form-to-google-sheets
Store HTML form submissions in Google Sheets.
sheetsu-web-client
Sheetsu Web Client
ooAgda
Interactive and object-oriented programming in Agda using coinductive types
sheetsu-php
PHP Library for Sheetsu API
github-forms
A RESTful API for submitting standard HTML form data to a GitHub-hosted CSV.
p2p-chat
A fun and easy messaging app that allows private conversations through P2P
mysql-rest-api
Easy to deploy MySQL RESTful api
irtAPI
APIs for Item Response Theory using Flask
pragmatapro
PragmataPro font is designed to help pros to work better
MySQL-Easy-DB-Backup-Restore
Really simple PHP class for easy backup, restore, and truncate database.
extension-tao-geogebra
GeoGebra extension for TAO
VBASync
Cross-platform tool to synchronize macros from an Office VBA-enabled file with a version-controlled folder
Blockchain-Excel-Demo
Simple demo of how a hash function can be used to secure and create a blockchain like mechanism using VBA with Excel.