Repos
17
Stars
3
Forks
0
Top Language
Haskell
Loading contributions...
Top Repositories
It's going to be amazing just wait (It's going to be a music manager)
Othello in Haskell for teaching purposes.
The Plutus language reference implementation and tools
Thing that translates systems of mutually recursive types into systems of recursive types that are not mutually recursive.
a tool to convert literate agda to html
Agda is a dependently typed programming language / interactive theorem prover.
Repositories
17The Plutus language reference implementation and tools
It's going to be amazing just wait (It's going to be a music manager)
Thing that translates systems of mutually recursive types into systems of recursive types that are not mutually recursive.
a tool to convert literate agda to html
Agda is a dependently typed programming language / interactive theorem prover.
No description provided.
Othello in Haskell for teaching purposes.
system F things
My solutions to the exercises for CS410-17 (see README)
A lexical analyser generator for Haskell
An open-source, customizable intermediate logic textbook
slides for course presentation
Running cellular automata on images
dependent types -> algebra
Conversion toolchain to produce OLT in vanilla LaTeX/XML/HTML/etc
command line utility that saves me a lot of typing, but not very frequently.
Haskell bindings for libalsaplayer