https://github.com/dimasamoz/mezzo

A Haskell library for typesafe music composition

dependent-types haskell haskell-library midi music-composition music-notation type-level-programming

Last synced: 04 Apr 2025

https://github.com/dimasamoz/agda-soas

Agda formalisation of second-order abstract syntax

Last synced: 29 Jan 2026

https://github.com/dimasamoz/temporal-type-systems

Formalisation of a temporal type system in Agda

Last synced: 02 Apr 2026

https://github.com/dimasamoz/mastermind

A simple Haskell implementation of the Mastermind game

Last synced: 05 Jul 2025

https://github.com/dimasamoz/thodo

A simple command-line to-do list tool

Last synced: 13 Mar 2025

https://github.com/dimasamoz/101-game-java

A command-line card game (practice project)

Last synced: 13 Mar 2025

https://github.com/dimasamoz/idris-book

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

Last synced: 12 Feb 2026

https://github.com/dimasamoz/ddt-script

Data extraction and analysis scripts for DDT experiments

Last synced: 22 Apr 2026

https://github.com/dimasamoz/twork-app

Team Mike – Put Your Phone To Work

Last synced: 28 Apr 2026

https://github.com/dimasamoz/dimasamoz.github.io

Last synced: 30 Jan 2026

https://github.com/dimasamoz/ray-tracer-java

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

Last synced: 21 Aug 2025

https://github.com/dimasamoz/graphics

Last synced: 13 Mar 2025

https://github.com/dimasamoz/blackjack-python

A Blackjack game in Python (practice project).

Last synced: 05 Oct 2025