GTK4 + Python tutorial with code examples

Demonstration of GTK4 TreeListView with drag-and-drop

The Standard ML compiler that produces Lua/JavaScript

A garden of small programming language implementations 🪴

Playing with type systems

mirror of A simple type-theoretic language: Mini-TT

ANSI Escape Codes for VHDL-2008

An Emacs configuration bundle with batteries included

Demo for dependent types + runtime code generation

A tutorial on how Agda infers things

Single header stackful cross-platform coroutine library in pure C.

🥜 A Self-Compiling C Transpiler Targeting Human-Readable POSIX Shell

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

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.