Projects

I this is a growing list of projects that I have worked on.

flake-templates

My Nix Flake templates, which make it easier to write nix packages.

Project Euler

My Project Euler solutions.

mohabatt.github.io

Implemented a blog for Mohabat using Jekyll and the Minimal Mistakes theme.

mraheb.github.io

Implemented a blog for Maria using Jekyll and the Hyde theme.

bemenuFocus

Makes bemenu appear on the correct monitor that it is called from, on SwayWM.

swaybgchanger

Changes the background on SwayWM every 15 minutes, from images in a given folder.

p2p-chat

A TCP chat project, written in Haskell.

Univalent Agda

Univalent Mathematics implemented in Agda.

Haskell-Compiler

The second coursework from Graham Hutton’s Advanced Functional Programming course, the purpose of which was to build a (virtual) stack based compiler for a given imperative language.

Gemini-Exporter

Converts a directory of .org files into .gem files, for being hosted on Gemini.

Julia-Mandel

Code for generating and tweeting Julia sets, using C and Python.