Rahul Chhabra's Projects
Mathematics in service of computation
Exploring arbitrary precision arithmetic in Rust
A simple digital clock made in JavaFX
An experimental library for Cubical Agda
Random experiments with Cubical Agda
Documentation for the PureScript language, compiler, and tools.
An NES Emulator I'm writing
Solutions to EOPL
GCI 19-20 work for Tensorflow
Exploring Haskell
Metatheorems about intuitionistic logic, cubically!
All Algorithms implemented in Java
A CHIP-8 emulator written in Kotlin.
Abandoned due to code spaghettification😭
The Kotlin Programming Language.
All Algorithms implemented in Kotlin
Framework for quickly creating connected applications in Kotlin with minimal effort
A simple text editor written in JavaFX
A collection of resources for learning type theory and type theory adjacent fields.
Conway's Game of Life implemented in Rust-Wasm
Lecture notes and exercises for the advanced course on categorical realizability at the Midlands Graduate School (MGS) 2024
A Kotlin app for document scanning
Formalisation of some modal logics in Cubical Agda
An app that keeps a track of all your friends to whom you've either lended or borrowed money to/from.
NES Emulator in Rust
The Markdown-based note-taking app that doesn't suck.
Random number generators for 6502 / NES