DimaSamoz

Dima Szamozvancev's repositories

A Haskell library for typesafe music composition

Language:HaskellMIT351 15 4

Agda formalisation of second-order abstract syntax

Language:AgdaMIT48 10 1

Formalisation of a temporal type system in Agda

Language:AgdaMIT4 30

A simple Haskell implementation of the Mastermind game

Language:HaskellNOASSERTION2 40

A simple command-line to-do list tool

Language:HaskellMIT2 40

A command-line card game (practice project)

Language:Java030

agda-mode on Atom

Language:OCamlMIT020

A Blackjack game in Python (practice project).

Language:Python030

Data extraction and analysis scripts for DDT experiments

Language:PythonMIT030

Language:Java030

Code examples and exercises from Type-Driven Development by Edwin Brady

Language:IdrisMIT030

Agda language support for the Atom editor

MIT030

A simple ray-tracer written in Java (practice project).

Language:Java030

Team Mike – Put Your Phone To Work

Language:Java08 1

The sources for my website

Language:HTMLMIT030