Pinned Repositories
Brainforth
Brainfuck but with a forth dictionary.
CerebralMate
CerebralMate: "Literate Brainfuck" for people with huge brains
CountableCoq
Using classes and dependent types to describe countable objects
DBIM-Language
DBIM, a completely modular programming experience
FlappyBirdHaskell
Flappy Bird Written in Haskell
Fractionals
reducing computations to rationals and thus using a simple rational type
fstOcaml
Finite state morphological transducer built in Ocaml
IdrisProofs
ExampleProofs using Idris’s Elaborator and Pruviloj
LambdaWorkshop
Tools for directly working with Theoretical languages
SimpleFinnishParser
Simple Finnish morphological parser made using xfst. Only works for few morphological cases.
LaltonDundy's Repositories
LaltonDundy/IdrisProofs
ExampleProofs using Idris’s Elaborator and Pruviloj
LaltonDundy/SimpleFinnishParser
Simple Finnish morphological parser made using xfst. Only works for few morphological cases.
LaltonDundy/Brainforth
Brainfuck but with a forth dictionary.
LaltonDundy/CerebralMate
CerebralMate: "Literate Brainfuck" for people with huge brains
LaltonDundy/CountableCoq
Using classes and dependent types to describe countable objects
LaltonDundy/DBIM-Language
DBIM, a completely modular programming experience
LaltonDundy/FlappyBirdHaskell
Flappy Bird Written in Haskell
LaltonDundy/Fractionals
reducing computations to rationals and thus using a simple rational type
LaltonDundy/fstOcaml
Finite state morphological transducer built in Ocaml
LaltonDundy/LambdaWorkshop
Tools for directly working with Theoretical languages
LaltonDundy/Idris-dev
A Dependently Typed Functional Programming Language
LaltonDundy/IsomorphicEncoding
Using functional/categorical reasoning to encrypt/decrypt text and data using haskell
LaltonDundy/LiterateRationalModule
A module for rational types written in Literate haskell
LaltonDundy/MatrixIdris
Just A Matrix Library made to Practice Idris
LaltonDundy/MonoidCoq
Using Monoids and their proofs to verify folds and other objects
LaltonDundy/PsychedelicDrumKit
Small project to work on in order to understand certain mechanics of Gloss and other nuances in Haskell game development
LaltonDundy/VerifiedPoker
Using Modules in Coq to specify the verifications of a simple poker game