BartoszMilewski/XOperad
The implementation of tic-tac-toe using an operadic comonad
Three-dimensional category theory diagram server using Haskell and Yesod
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
The implementation of tic-tac-toe using an operadic comonad
Constraing solving using functional methods in C++ and Haskell.
Public repository.
Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com