Pinned Repositories
aoc2018
advent of code 2018
aoc2019
doing Advent of Code 2019 in 2020
aoc2022
third time's the charm
assignment1
CEP Assignment 1 - Django - 2015
assignment2
assignment3
CEP2014
CEP Final Project 2014
coursera-machine-learning
andrew ng's machine learning course
miniscule
a custom jekyll theme i'm writing for my own github pages based on minima
pb-rust
fyp: linking rust code with lean4
filbertphang's Repositories
filbertphang/miniscule
a custom jekyll theme i'm writing for my own github pages based on minima
filbertphang/pb-rust
fyp: linking rust code with lean4
filbertphang/aoc2018
advent of code 2018
filbertphang/aoc2019
doing Advent of Code 2019 in 2020
filbertphang/aoc2022
third time's the charm
filbertphang/assignment1
CEP Assignment 1 - Django - 2015
filbertphang/assignment2
filbertphang/assignment3
filbertphang/CEP2014
CEP Final Project 2014
filbertphang/coursera-machine-learning
andrew ng's machine learning course
filbertphang/datasciencefinalproj
filbertphang/cs6101
The Web IR / NLP Group (WING)'s public reading group at the National University of Singapore.
filbertphang/dotfiles
it's about time
filbertphang/event_app
[ old project, done as part of learning Ruby on Rails with Railstutorial ]
filbertphang/ip
filbertphang/javascript30
my attempt at the javascript 30 challenge
filbertphang/lean-sys
Rust bindings for the Lean 4 proof assistant
filbertphang/logical_verification_2023
My attempt at Hitchhiker's Guide to Logical Verification (2023 Edition)
filbertphang/nusmods-helper
Chrome extension to convert module names on the NUS website to links to their respective NUSMods module page.
filbertphang/pe
filbertphang/ped
filbertphang/project-proposals-thonkang
project-proposals-thonkang created by GitHub Classroom
filbertphang/tp