Implementation for ICFP 2020 paper

Your friendly neighborhood expand-region clone

A blazingly fast LSP client for Emacs

Recreation of UIndows in applicable theme form

A Haskell library for building incremental static site generators

Work in progress. Attempt to prove semantic preservation (forward simulation) for a simple compiler.

A guide on STEM PhD admissions

Set up a specific version of Agda for your GitHub Actions workflow.

A prototypical dependently typed languages with sized types and variances

Total Parser Combinators in Agda

Implementing a spatial model inspired by Material Shell, for i3 and sway.

Template for quickly and easily combining happy and alex

Syntax highlighter for Haskell using the lexer of GHC

An inky color scheme for prose and code.

The C Code Archive Network

A collection of portable pandoc templates with no dependencies

Trying to write an understandable implementation of Haskell, in Haskell

🦄 Modern Org Style

😎 Curated list of awesome resources on Compilers, Interpreters and Runtimes

A small Hyprland plugin to provide awesome-like workspace behavior

"Racket" to x86 compiler

ML interpreter with lazy evaluation

Strongly-typed System F in Haskell

An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types

being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

My slides and compilation of resources.

A(nother) structural editor (attempt) inspired by paredit