Monad Language links

The monad programming language. https://monad-lang.org

Learn more
website
Monad Language
monad-lang.zulipchat.com
Learn more
Zulip community
open Tangled
GitHub
open GitHub
Monad dev blog
blog.monad-lang.org
Learn more
Bluesky
open Bluesky
Reddit
open Reddit
Discord
open Discord
LinkedIn
open LinkedIn
Contributors on Github
Anders C. Sørby
@anders.sorby.xyz
2w
@monad-lang.org Created a new post about recent progress
pckt.blog/b/monad-dev-...
Monad Language
@monad-lang.org
2w
Comment on this post to appear on my Blento! https://blento.app/monad-lang.org
Monad Language
@monad-lang.org
4w
Monad has gotten an updated website! You can also download the latest nightly build using monadup.
monad-lang.org
Monad Language
@monad-lang.org
6mo
A new version of Monad is out. v0.1.2 supports quantitative types, experiments with compilation to LLVM IR and many improvements.

monad-lang.org
Monad Language
@monad-lang.org
7mo
Alpha version 0.1.0 of the Monad language has been released. Monad provides dependent types in a Rust context.
github.com/monad-lang/m...
Anders C. Sørby
@anders.sorby.xyz
2w
Hi, I started developing Monad just for fun.
Guestbook
made with blento
Imprint · Privacy