Highlights
- Pro
-
-
-
-
-
clam Public
Functional, bytecode interpreted language written in C
-
-
nixos-config Public
My current NixOS Configuration using Home-Manager
-
lc_interpreter Public
A dynamically typed simple lambda calculus interpreter written in OCaml
-
IosevkaTermSS07-Nerd-Font Public
Iosevka Term SS07 font augmented with nerd font icons
Python UpdatedMar 16, 2025 -
-
VanillaMCInstance Public
Vanilla MC with a few performance enhancing mods and instructions
UpdatedDec 15, 2024 -
minmacs Public
An attempt at creating a lightweight but complete Emacs config.
-
-
-
-
-
katex-rquickjs Public
A Rust wrapper for the KaTeX JS library using the QuickJS engine
JavaScript UpdatedJul 30, 2024 -
relearnopengl Public
An attempt at following the LearnOpenGL tutorial while also writing clean and modern C++ code
C++ UpdatedJul 27, 2024 -
idris2-tutorial Public
Forked from stefan-hoeck/idris2-tutorialIdris BSD 3-Clause "New" or "Revised" License UpdatedJul 18, 2024 -
-
xv6-book-built Public
Forked from mit-pdos/xv6-bookCommentary for xv6-public (including pdf and build artifacts)
-
-
-
-
-
htmlisp Public
Compiles lisp style html into normal html
-
-
hello-world-gui Public
Hello world GUI application in Haskell using Monomer
Haskell Other UpdatedSep 6, 2023 -
-