|
|
Arimo is a general-purpose, statically-typed, AOT-compiled systems programming language — built from scratch, and already running. Designed to cover the full spectrum from bare-metal kernel and driver development to high-level OOP application code, all within a single language. It combines Java-grade object-oriented expressiveness (classes, interfaces, generics, abstract types, rich annotations) with systems-level control (manual memory, inline x86-64 assembly, interrupt handlers, calling conventions) and a 3-tier hybrid memory model that eliminates GC overhead in the default path. The compiler generates native x86-64 PE32+ executables with no dependency on LLVM, GCC, or any external toolchain — the entire pipeline lives inside the compiler itself. The stage 1 compiler is written in Arimo, making it self-hosting. Arimo is an attempt to close the gap between systems languages and high-level ones — not with compromises, but by design.
| Status | Built from scratch — compiler is functional, programs compile and run |
| Use cases | OS kernels, device drivers, game engines, high-performance backends, desktop apps |
| Memory | Borrow checker (compile-time, zero cost) → ARC (shared values) → GC (cycles only); @ManualMemory for full control |
| Backend | Native x86-64 → PE32+ — no LLVM, no GCC, no external toolchain; entirely self-contained |
| OOP | Classes, structs (value types), interfaces (with defaults), abstract classes, single inheritance, generics with bounds |
| Annotations | @ManualMemory @Freestanding @ForceInline @Pure @Packed @Align @CallingConvention @Likely and more |
| Systems | C FFI, inline x86-64 assembly, interrupt handlers, syscalls, raw pointers, SIMD (Vec4f / Vec8f / Vec4i / Vec8i) |
| Bootstrap | Stage 0 in Rust: Lexer → Parser → TypeChecker → BorrowChecker → IRLower → IRToX64 → PEWriter |
| Self-hosting | Stage 1 compiler (Main.arm) written in Arimo — compiles itself |
| Project | Description |
|---|---|
| 🔮 Arimo | Self-hosting systems programming language. Java-inspired syntax, Rust-like ownership, TypeScript null safety. Compiles to native x86-64 PE32+ with no external toolchain. |
| ⚙️ Arimo Bootstrap | Stage 0 bootstrap compiler written in Rust. Full pipeline: Lexer → Parser → TypeChecker → BorrowChecker → IRLower → IRToX64 → PEWriter. Generates standalone executables. |
| 📦 Microservices Platform | Production-grade Spring Boot 3 microservices with Eureka service discovery, API Gateway, JWT authentication, PostgreSQL, Redis, and Docker. |
| 🤖 AI Models Arena Tracker | AI benchmark aggregator using Llama 3 for score normalization. Scrapes LMSYS and Hugging Face leaderboards via 8x daily GitHub Actions pipelines, deploys to Vercel. |
|
|
|
|
|
|
