The Monad language. Dependent types, functional programming compiled with LLVM. Hobby project. monad-lang.org
dependent-types language compiler programming-language functional-programming

feat(llvm-codegen): add compilation pipeline and extract CLI master

- Add compiler.rs with full compile-to-binary pipeline (IR generation, clang compilation, linking) - Extract CLI entry point from core into dedicated cli package - Refactor codegen modules for better organization - Fix atomic refcount type in runtime (use _Atomic for C11 atomics)