A purely functional language with compile-time reference counting.

see the Research Paper.

• Purely functional programming model
• Compile-time reference counting via Perceus algorithm
• Functional But In-Place (FBIP) optimization
• LLVM-based code generation

• loreal_ast - Abstract Syntax Tree definitions
• loreal_lexer - Lexical analysis
• loreal_parser - Recursive descent parser
• loreal_semantic - Type checking and semantic analysis
• loreal_mir - Mid-Level IR with CFG and optimizations
• loreal_codegen - LLVM IR generation
• loreal_runtime - Runtime support library
• loreal_cli - Command-line interface

cargo build --release

# Compile a Loreal file
loreal build input.lr -o output

# Run a Loreal program
loreal run input.lr

MIT OR Apache-2.0