DimaSamoz
PhD student at the Department of Computer Science of the University of Cambridge.
Cambridge, United Kingdom
Pinned Repositories
101-game-java
A command-line card game (practice project)
agda-mode
agda-mode on Atom
agda-soas
Agda formalisation of second-order abstract syntax
blackjack-python
A Blackjack game in Python (practice project).
ddt-script
Data extraction and analysis scripts for DDT experiments
Graphics
mastermind
A simple Haskell implementation of the Mastermind game
mezzo
A Haskell library for typesafe music composition
temporal-type-systems
Formalisation of a temporal type system in Agda
thodo
A simple command-line to-do list tool
DimaSamoz's Repositories
DimaSamoz/mezzo
A Haskell library for typesafe music composition
DimaSamoz/agda-soas
Agda formalisation of second-order abstract syntax
DimaSamoz/temporal-type-systems
Formalisation of a temporal type system in Agda
DimaSamoz/mastermind
A simple Haskell implementation of the Mastermind game
DimaSamoz/thodo
A simple command-line to-do list tool
DimaSamoz/101-game-java
A command-line card game (practice project)
DimaSamoz/agda-mode
agda-mode on Atom
DimaSamoz/blackjack-python
A Blackjack game in Python (practice project).
DimaSamoz/ddt-script
Data extraction and analysis scripts for DDT experiments
DimaSamoz/Graphics
DimaSamoz/idris-book
Code examples and exercises from Type-Driven Development by Edwin Brady
DimaSamoz/language-agda
Agda language support for the Atom editor
DimaSamoz/quiver
A modern commutative diagram editor for the web.
DimaSamoz/ray-tracer-java
A simple ray-tracer written in Java (practice project).
DimaSamoz/twork-app
Team Mike – Put Your Phone To Work
DimaSamoz/website
The sources for my website