monad
The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project. monad-lang.org
dependent-types language compiler programming-language functional-programming
Star 7
Fork 1
Watch
All Push Pull
64 pipeline runs
Push to main
4c00694a
 35m 34s ·
Push to main
38e27906
 51m 57s ·
Push to main
5f285f66
 59m 18s ·
Push to main
da55c060
 51m 53s ·
Push to main
e96b18ae
 45m 6s ·
Push to main
2fa0a4dc
 24m 51s ·
Push to main
b1b0a383
 24m 15s ·
Push to main
36ebc202
 42m 55s ·
Push to main
b8974db3
 38m 29s ·
Push to main
c104579e
 32m 15s ·
Push to main
85412656
 38m 35s ·
Push to main
ee50a7da
 51m 15s ·
Push to main
de1329c9
 12m 58s ·
Push to main
518f7a82
 10m 13s ·
Push to main
b139e715
 17m 51s ·
Push to main
d6238985
 50m 48s ·
Push to main
506f9d20
 50m 3s ·
Push to main
354d894b
 54m 37s ·
Push to main
632d1825
 45m 27s ·
Push to main
a4d8fde7
 1h 2m 16s ·
Push to main
6a59e090
 44m 37s ·
Push to main
12b74e92
 49m 37s ·
Push to main
ca521800
 47m 8s ·
Push to main
7acfa7a2
 45m 25s ·
Push to main
e8af85e2
 45m 10s ·
Push to main
092b5569
 50m 33s ·
Push to main
75738e53
 53m 3s ·
Push to main
30639d77
 56m 27s ·
Push to main
3c675021
 53m 12s ·
Push to main
4c389293
 48m 30s ·