mirryi

beets-playlistc

A simple beets plugin for creating playlists.

cchmod

chmod calculator.

kcfa

0-CFA and k-CFA implementation for small functional language.

dotfiles

Dotfiles for my Linux machines.

regexp2

Toy regular expressions implementation using finite automata.

shelf

Dotfiles package manager, undergoing rewrite!

wikichan

A WebExtension and userscript that displays information from Wikipedia and other sources in a popup for the hovered text.

basicfp

A presentation / exercise in iterators in imperative programming languages (stogacs).

beamerfw

Beamer project template with support for multiple build methods.

debaggins

dune+js_of_ocaml source maps experiment.

error-localization-slides

POPL'24 talk slides.

fetch

Rock-inspired query-based compiler architecture library.

hazelc-icfp22-poster

Poster of the hazelc project for the ICFP'22 student research competition.

hazelc-icfp22-slides

Slides of the hazelc project for the ICFP'22 student research competition

homelab

Home cluster.

intro-compilers

Short presentation that provides a surface-level understanding of compiler architecture (stogacs).

lwt-observable

Lwt-based reactive streams.

mirryi

Hello

moldws

Web development workshop.

mpdnd

MPD notification daemon.

resume

Resumé.

rmdocs

A presentation on writing documents with LaTeX, Pandoc, and Rmarkdown.

sf

Following along with Software Foundations.

soth

A verified CTL model checker

stonky-kong

A dynamic browser game made for Blueprint 2020

textenc

A presentation on text encoding and Unicode.

ttweb

A brief workshop to create a tiny web API using Flask (stogacs).

webext101

Workshop in creating a tiny browser extension.

webextension-polyfill-ocaml

xkcdViewer

A beautiful xkcd viewer app written with Flutter