OCaml bindings for libdrm

Physically grounded color-managed HDR-capable color negative film inversion model in DaVinci Resolve

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