Monad Language

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
pckt.blog
Learn more
Bluesky
open Bluesky
Reddit
open Reddit
Discord
open Discord
LinkedIn
open LinkedIn
Contributors on Github
Anders C. Sørby
@anders.sorby.xyz
3d
@monad-lang.org Created a new post about recent progress
pckt.blog/b/monad-dev-...
Monad Language
@monad-lang.org
3d
Comment on this post to appear on my Blento! https://blento.app/monad-lang.org
Monad Language
@monad-lang.org
3w
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
6mo
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
3d
Hi, I started developing Monad just for fun.
Guestbook
made with blento
Imprint · Privacy