Kyle Raftogianis's repositories
language-bash
Parse and pretty-print Bash shell scripts
MathSymbolsInput
LaTeX-style mathematical symbols input method for macOS
bash-config
Safely interpret Bash scripts as configuration files
email-header
A Haskell library for parsing and rendering email and MIME headers
formal-agda
Experiments in formalizing and specifying computer systems with Agda
agda-mode
agda-mode on Atom
agda-stdlib
The Agda standard library
ArduinoCore-avr
The Official Arduino AVR core
butler
Automated apartment-wide Raspberry Pi butler
cubical
An experimental library for Cubical Agda
cxxopts
Lightweight C++ command line option parser
expect-test
Minimalistic snapshot testing for Rust.
graph
Google Games graph library
hott-book
A textbook on informal homotopy type theory
magic-trace
magic-trace collects and displays high-resolution traces of what a process is doing
pdfkit
A Haskell library for reading PDF documents
reactive
Another FRP implementation
sortalonco
Personal website, written in Haskell on Yesod, deployed with Docker.
trmphify
Convert a Little Golem Hex game to a trmph.com board
verilog
A Verilog parser for Haskell.