The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project. monad-lang.org
Languages
8
Total size
3.2 MB
Primary language
Rust
LanguageSizeShare
Rust
2.3 MB74%
Shell
346 kB11%
C
263 kB8%
JavaScript
103 kB3%
Nix
90 kB3%
Python
28 kB<1%
CSS
11 kB<1%
HTML
3.4 kB<1%