A compact LLM pretrained in 9 days by using high quality data

PIMeval simulator and PIMbench suite

In depth tutorial for conducting distributed training at NSM Clusters for custom workloads

A completely legitimate programming language for Singaporeans. Because uncle also can code one hor.

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

A feature-rich command-line audio/video downloader

open source training courses about distributed database and distributed systems

Completely free, unbelievably stupid wi-fi on long-haul flights

Rusted PackFile Manager (RPFM) is a... reimplementation in Rust and Qt5 of PackFile Manager (PFM), one of the best modding tools for Total War Games.

Hunt down social media accounts by username across social networks

Create markdown-based reveal.js presentations in Obsidian

The x86 processor fuzzer

My personal website

Algorithm Design (Kleinberg Tardos 2005) - Solutions

ay2324s1-course-assessment-g39 created by GitHub Classroom

The OpenTF Manifesto expresses concern over HashiCorp's switch of the Terraform license from open-source to the Business Source License (BSL) and calls for the tool's return to a truly open-source …

mingw-w64.net web page contents (The new web page)

Fourth iteration of my personal website built with Gatsby

Scripts for the Ghidra software reverse engineering suite.

Use Vivado on Mac without dual boot or laggy virtual machine

Implementation of https://www.youtube.com/playlist?list=PLFt_AvWsXl0eBW2EiBtl_sxmDtSgZBxB3 in godot

NUS CS, math & statistics cheatsheets