iitalics

iotapass

Reimplementation of Racket nanopass, with emphasis on cleaner code, better errors, modern Racket codebase

ppx_lens

OCaml preprocessor extension & small library for creating and using lenses

AgdaSnake

Compiler implementation in Agda, inspired by Benjamin Lerner's slithery compilers course

AgdaStuff

Agda Proofs and Experiments

ppx_cps

Small OCaml extension (PPX) for rewriting into CPS style

-lang-musiclibrary

Declare (using s-expressions) and automatically populate a music library

type-inference-agda

agda formalization of "A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference" (ICFP 2019)

diagonal

a game i'm working on

themes

A megapack of themes for GNU Emacs.

advent-2019

advent-2020

now with 20-20 vision

agda-stdlib

The Agda standard library

ax

WIP layout engine and reactive framework

bdf

BDF font tools

blog

Latest blog iteration as of 2019

cur

Powerful meta-programming for powerful types.

dotfiles

im doing the thing im making my own dotfiles repo

hail

Scalable genomic data analysis.

lablgtk

Mirror repository for https://forge.ocamlcore.org/anonscm/git/lablgtk/lablgtk.git

labs

This is a collection of tutorials for learning how to use Docker with various tools. Contributions welcome.

lsp-mode

Emacs client/library for the Language Server Protocol

Personal-homepage

Repository for my personal homepage

protobuf

Protocol Buffers - Google's data interchange format

racket

The Racket repository

resume-2020

2020 Edition of Milo Overengineering his CV

rustbus

Dbus transport in pure rust

rustic

Rust development environment for Emacs

tbp-spec

Specification for the Tetris Bot Protocol

tokio

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

toml-test

A language agnostic test suite for TOML parsers.