Mani's Projects
Deep Reinforcement Learning Doom agent tested on Defend the Center map.
Pokemon Showdown RL agent.
Simple Discussion Forum for Android.
Backend for anyApp.
Some notes for Algebraic Topology.
A repo to test around with anime.js
The BusTub Relational Database Management System (Educational)
Using Ply Lex & Yacc. C -> AST.
Solutions to Computer Graphics Course.
A very small OS.
A C-like language verifier using annotation and basic path verification.
Competitive programming for Kattis and UVa.
Documentation and implementation of many algorithms (mainly in C++).
Assignment skeleton for course on Discrete Differential Geometry (15-458/858)
Differential Geometry with Sage.
Repo for my dotfiles.
Material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics.
An ftp server implemented in C.
GameBoy Emulator written in Rust.
Game of Go implimented in Qt and C++.
Another GPIO driver for linux kernel.
HoTTEST Summer School materials
Apache IoTDB
IoTDB-benchmark is a tool for benchmarking IoTDB with other databases and time series solutions.
IOT Project 1. Bluetooth emulation with sound. 2. Distance estimation.
LSP server written in Rust.
Generate music to image using valence arousal.
Self-Driving Database Management System from Carnegie Mellon University
A platformer game built in Qt and C++.