Pinned Repositories
alpha6
atom-array-experiments
earfunk
RepoSense
Contribution analysis tool for Git repositories
frontend
Frontend of Source Academy, an online experiential environment for computational thinking (React, Redux, Saga, Blueprint)
gok99's Repositories
gok99/alpha6
gok99/atom-array-experiments
gok99/bam-idris-blog
Static blog generator in Idris.
gok99/blockly
The web-based visual programming editor.
gok99/earfunk
gok99/pydocksim
gok99/RepoSense
Contribution analysis tool for Git repositories
gok99/aoc24-lean
gok99/basalt-headers
gok99/cadet-frontend
Frontend of Source Academy (React, Redux, Saga, Blueprint)
gok99/DeepSeek-Prover-V1.5
gok99/git-open
Type `git open` to open the GitHub page or website for a repository in your browser.
gok99/hornet_assignment2
Hornet 6.0 Software assignment for controls
gok99/ip
gok99/itp-tests
gok99/js-slang
Implementations of the Source languages, which are small sublanguages of JavaScript designed for SICP JS
gok99/klee
KLEE Symbolic Execution Engine
gok99/logical_verification_2023
Hitchhiker's Guide to Logical Verification (2023 Edition)
gok99/modules
Modules that can be imported in Source programs, and environment for developing them
gok99/moot-frontend
gok99/moot-functions
gok99/moot-telegram
gok99/noam
JavaScript library for working with automata and grammars for regular and context-free languages
gok99/pandoc
Universal markup converter
gok99/radio-amateur-exam-notes
Amateur Radio Exam notes for Singapore
gok99/tp
gok99/tree-automata
Tree automata
gok99/vrx-events
Repository containing team submissions for VRX events.
gok99/zed_cpu_ros
A simple zed camera driver which only use CPU and only publish left and right raw images and its camera info.