Hyunhoi Koo's repositories
hs-knowledge
A library written in Haskell that determines whether a logical argument is valid through either Model Checking or DPLL Algorithm
whats-next
A Web Application showing the Prediction of the Trend of Cumulative Number of Coronavirus Cases
hs-maths-engine
A Haskell library that defines custom mathematical expressions and performs calculus and linear algebra calculations
minimax-tictactoe
Implementing a minimax agent to the TicTacToe Haskell tutorial exercise for First year Computing students @ Imperial College London
c-data-structures
My implementation of various abstract data structures in C
extended-essay
A Java program I created in high school to perform an experiment for the Extended Essay
flask-faasm
Deploying a Flask Web Application on Faasm Runtime
hsk-llvm
Toy Compiler written in Haskell using MegaParsec parser combinator library with C FFI for LLVM backend
sit-me
Designing for Real People project - Sit Me [link obsolete]
society-management-system
My High School project for the IB Computer Science course that manages society events