Kyle Raftogianis
knrafto
Languages
Repos
25
Stars
69
Forks
19
Top Language
Haskell
Loading contributions...
Top Repositories
Parse and pretty-print Bash shell scripts
LaTeX-style mathematical symbols input method for macOS
Quantum tic-tac-toe
Safely interpret Bash scripts as configuration files
Binary Lambda Calculus for general-purpose programming
An experimental theorem prover
Repositories
25Quantum 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