Pinned Repositories
bs-thesis
My Bachelor's thesis
company-coq
IDE extensions for Proof General's Coq mode
dotfiles
A few of my dotfiles
erlking-game
A short text based adventure using html/css/js I made for a school project
finite-difference
A small Haskell program for calculating and working with forward differences and similar
haskell-tools
A collection of command line utilities written in Haskell for various tasks that I need to do
idris-algebra
Proving algebraic properties using Idris
kaleidoscope
Work-through of Stephen Diehl's LLVM compiler tutorial in Haskell
Text.Pronounce
A Haskell library for interfacing with the CMU Pronouncing Dictionary
torus-hex
Hex on a torus
buonuomo's Repositories
buonuomo/Text.Pronounce
A Haskell library for interfacing with the CMU Pronouncing Dictionary
buonuomo/idris-algebra
Proving algebraic properties using Idris
buonuomo/bs-thesis
My Bachelor's thesis
buonuomo/company-coq
IDE extensions for Proof General's Coq mode
buonuomo/dotfiles
A few of my dotfiles
buonuomo/erlking-game
A short text based adventure using html/css/js I made for a school project
buonuomo/finite-difference
A small Haskell program for calculating and working with forward differences and similar
buonuomo/haskell-tools
A collection of command line utilities written in Haskell for various tasks that I need to do
buonuomo/kaleidoscope
Work-through of Stephen Diehl's LLVM compiler tutorial in Haskell
buonuomo/torus-hex
Hex on a torus
buonuomo/madgoon.website
My website
buonuomo/picross-solver-chrome
A chrome extension to automate certain strategies on Henry Liou's picross
buonuomo/scheme
Write You a Scheme
buonuomo/tsurukame
Tsurukame is an unofficial WaniKani app for iOS. It helps you learn Japanese Kanji.