jawadcode's repositories
aoc-2023-solutions
My solutions to Advent of Code 2023
aqa_pseudocode
AQA Pseudocode Interpreter
cube-timer-concept
A Speedcubing Timer concept
lc_interpreter
A dynamically typed simple lambda calculus interpreter written in OCaml
scramble-api
A REST API wrapper around Owstin/scrambow
matrix_mafs
Matrix maths library
xv6-book-built
Commentary for xv6-public (including pdf and build artifacts)
hello-world-gui
Hello world GUI application in Haskell using Monomer
IosevkaTermSS07-Nerd-Font
Iosevka Term SS07 font augmented with nerd font icons
katex-rquickjs
A Rust wrapper for the KaTeX JS library using the QuickJS engine
littleosbook
Source for the little book about OS development
nixos-config
My current NixOS Configuration using Home-Manager
prooove
A collection of small proof and dependent types things
python-fun
Just a cute interpreter written in python
relearnopengl
An attempt at following the LearnOpenGL tutorial while also writing clean and modern C++ code