Kyle Raftogianis

Quantum tic-tac-toe

LaTeX-style mathematical symbols input method for macOS

Stable Haskell package sets: vetted consistent packages from Hackage

Parse and pretty-print Bash shell scripts

Binary Lambda Calculus for general-purpose programming

Safely interpret Bash scripts as configuration files

Minimalistic snapshot testing for Rust.

An experimental theorem prover

magic-trace collects and displays high-resolution traces of what a process is doing

A Haskell library for parsing and rendering email and MIME headers

Experiments in formalizing and specifying computer systems with Agda

An experimental library for Cubical Agda

A Verilog parser for Haskell.

The Official Arduino AVR core

A textbook on informal homotopy type theory

Personal website, written in Haskell on Yesod, deployed with Docker.

agda-mode on Atom

Lightweight C++ command line option parser

The Agda standard library

Convert a Little Golem Hex game to a trmph.com board

No description provided.

Google Games graph library

Automated apartment-wide Raspberry Pi butler

Another FRP implementation

A Haskell library for reading PDF documents