Projects in Awesome Lists by DimaSamoz
A curated list of projects in awesome lists by DimaSamoz .
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/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/ray-tracer-java
A simple ray-tracer written in Java (practice project).
Last synced: 21 Aug 2025
https://github.com/dimasamoz/blackjack-python
A Blackjack game in Python (practice project).
Last synced: 05 Oct 2025