Kok Rui Wong's repositories
andone
1v1 NBA referees https://kokruiwo.ng/andone
askgovsg
Answers from the Singapore Government
college-notes
Notes for various courses that I studied in university.
coursemology2
Rails 5 re-write of Coursemology
covidclusters
Covid19 Clusters during the High Alert 2nd phase April through June 2021
dash_chat
The most complete Chat UI for flutter highly customizable and helps developing chat UI faster.
discoqed-structures
Attempting to Coq-ify CS1231S Discrete Structures proofs
dynabench
this is pinned so i can click on it more easily lol
dynalab
The Python library with command line tools to interact with Dynabench(https://dynabench.org/), such as uploading models.
electionguard
ElectionGuard is a set of open source software components that can be used to create and publish end to end verifiable elections as well create a publishable artifact for ballot comparison audits.
ghidra
Ghidra is a software reverse engineering (SRE) framework
hhvm
A virtual machine for executing programs written in Hack.
jOOQ
jOOQ is the best way to write SQL in Java
manticore
Symbolic execution tool
nushackers-site
NUS Hackers website
ocaml-exercises
solutions to https://github.com/janestreet/learn-ocaml-workshop
rcw-fork
Awesome chat widget for your React App
restler-fuzzer
RESTler is the first stateful REST API fuzzing tool for automatically testing cloud services through their REST APIs and finding security and reliability bugs in these services.
sqlancer
Detecting Logic Bugs in DBMS
supabase
The open source Firebase alternative. Follow to stay updated about our public Beta.
tdesktop-oldest-unreads
fork to see latest AND oldest unread chats in 2 separate chat list views