Cubesoup/plutus-prototype
The Plutus language reference implementation and tools
Repositories
Cubesoup/Crates
It's going to be amazing just wait (It's going to be a music manager)
Cubesoup/demutualize
Thing that translates systems of mutually recursive types into systems of recursive types that are not mutually recursive.
Cubesoup/agda2html
a tool to convert literate agda to html
Cubesoup/agda
Agda is a dependently typed programming language / interactive theorem prover.
Cubesoup/Plutus-Core-Spec
Cubesoup/Othello
Othello in Haskell for teaching purposes.
Cubesoup/fomega
system F things
Cubesoup/CS410-17-Exercises
My solutions to the exercises for CS410-17 (see README)
Cubesoup/alex
A lexical analyser generator for Haskell
Cubesoup/OpenLogic
An open-source, customizable intermediate logic textbook
Cubesoup/dna_computing
slides for course presentation
Cubesoup/ImageAutomata
Running cellular automata on images
Cubesoup/Algebra
dependent types -> algebra
Cubesoup/OpenLogicConvert
Conversion toolchain to produce OLT in vanilla LaTeX/XML/HTML/etc
Cubesoup/Renumber
command line utility that saves me a lot of typing, but not very frequently.
Cubesoup/hlibalsaplayer
Haskell bindings for libalsaplayer