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