Pinned Repositories
verifact_backend
VeriFact back end
dynabench
Dynamic Adversarial Benchmarking platform
alpha
alpha9
andone
1v1 NBA referees https://kokruiwo.ng/andone
aoc
https://adventofcode.com/
askgovsg
Answers from the Singapore Government
nusmods
🏫 Official course planning platform for National University of Singapore.
manticore
Symbolic execution tool
ManticoreUI
The Manticore User Interface with plugins for Binary Ninja and Ghidra
kokrui's Repositories
kokrui/aoc
https://adventofcode.com/
kokrui/alpha
kokrui/alpha9
kokrui/askgovsg
Answers from the Singapore Government
kokrui/blind-carbon-copy
kokrui/college-notes
Notes for various courses that I studied in university.
kokrui/coursemology2
Rails 5 re-write of Coursemology
kokrui/cs6203-demo-llmtune
The source code for LLMTune
kokrui/dash_chat
The most complete Chat UI for flutter highly customizable and helps developing chat UI faster.
kokrui/discoqed-structures
Attempting to Coq-ify CS1231S Discrete Structures proofs
kokrui/dynabench
this is pinned so i can click on it more easily lol
kokrui/dynalab
The Python library with command line tools to interact with Dynabench(https://dynabench.org/), such as uploading models.
kokrui/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.
kokrui/ghidra
Ghidra is a software reverse engineering (SRE) framework
kokrui/hhvm
A virtual machine for executing programs written in Hack.
kokrui/ip
kokrui/jOOQ
jOOQ is the best way to write SQL in Java
kokrui/kokrui
kokrui/libre-link-up-api-client-singapore
Libre Link Up client to retrieve cgm data directly from sharing service
kokrui/manticore
Symbolic execution tool
kokrui/nushackers-site
NUS Hackers website
kokrui/ocaml-exercises
solutions to https://github.com/janestreet/learn-ocaml-workshop
kokrui/pe
kokrui/ped
kokrui/rcw-fork
Awesome chat widget for your React App
kokrui/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.
kokrui/sqlancer
Detecting Logic Bugs in DBMS
kokrui/supabase
The open source Firebase alternative. Follow to stay updated about our public Beta.
kokrui/tdesktop-oldest-unreads
fork to see latest AND oldest unread chats in 2 separate chat list views
kokrui/tp