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

This article is part of my course on Compilers, Formal Grammars and Programming Languages. Up to this point we have studied:
What is a Compiler. What are the several stages of the compilation …