Wikimedia list article

In mathematics, string diagrams are a formal graphical language for representing morphisms in monoidal categories, or more generally 2-cells in 2-categories. They are a prominent tool in applied category theory. When interpreted in FinVect, the monoidal category…

🚀 Empowering artists, creatives and citizens for more than 20 years.

eXtreme Go Horse, in different languages and with anchored axioms - Brunomachadob/xgh

The goal of this project is to build a simple Ternary computer capable of running a LISP interpreter. LISP was chosen as it made the least assumptions about the underlying machine being binary.

What's a Ternary Computer?
Yes, No, or Maybe. A…

A Standard ML Compiler for the Web. Contribute to KeenS/webml development by creating an account on GitHub.

A popular meme in the world of PL’s is that “Haskell has monads”, with the implication that this is a distinctive feature of the language, separate from all others.  While it is t…

Explore this post and more from the MouseReview community