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