Agda lecture notes for the Functional Programming course at TU Delft

Converts images into a DMC cross stitch pattern, with auto colour matching and progress tracking.

An automated testing framework for Snap programs

An LTI backed server for auto grading Snap! code

a visual programming language inspired by Scratch

Snap to JavaScript Compiler

「すごいHaskell楽しく学ぼう！」の社内勉強会のために作成した、章末ごとの演習問題集です。

Solutions to all questions of the book Introduction to the Theory of Computation, 3rd edition by Michael Sipser

Maps, tilesets, and assets oh my!