The Milo Programming Language
☆35Nov 5, 2026Updated this week
Alternatives and similar repositories for milo
Users that are interested in milo are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A fast and simple, embeddable programming language that targets WebAssembly, x86-64, and ARM64.☆16Oct 24, 2026Updated 2 weeks ago
- Orange is a modern systems programming language designed for developers who want fine-grained control without sacrificing expressiveness☆27Jul 21, 2026Updated 3 months ago
- Vyne is a high-level language that transpiles to C and compiles to native executables.☆34Updated this week
- A discord client aimed at giving the user control, stability, a beautiful appearance, and freeing them from the shackles of other client …☆13Apr 2, 2024Updated 2 years ago
- ☆15Jun 20, 2026Updated 4 months ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Formal verification for OpenSpec plans. Parses markdown into ASTs, translates SHALL requirements to LTL, and runs SPIN to prove or dispro…☆10Sep 1, 2026Updated 2 months ago
- [WIP NOT READY] Yo (柚) - A programming language that's LLM-friendly to write and human-friendly to read☆41Updated this week
- A statically typed, multi-paradigm, general-purpose programming language designed to be a language for everything.☆14Oct 18, 2026Updated 2 weeks ago
- An experimental launcher for Kernel that injects without modifying the filesystem.☆13Jun 17, 2022Updated 4 years ago
- ☆15Aug 29, 2026Updated 2 months ago
- A minimal (~720b) size-optimized UI framework☆15Jul 30, 2023Updated 3 years ago
- ☆36Feb 14, 2026Updated 8 months ago
- A freshly canned systems language 🥫☆15Jun 8, 2026Updated 4 months ago
- A programming language to make programming easier.☆11May 3, 2026Updated 6 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Adding the pipe operator to Rust via a declarative macro.☆17Apr 28, 2024Updated 2 years ago
- Organize your notes in a plain text file. 📖☆42Updated this week
- An open-source geospatial infrastructure that transforms institutional hyperlinks into a unified spatial index of cultural heritage prove…☆12Updated this week
- AProver: Agentic Prover for AI-Generated Code — LLM agents + BMC for automated verification of systems software☆22Updated this week
- Modern Programming Language☆26Oct 30, 2026Updated last week
- Functional composable pipelines allowing clean separation of the business logic and its implementation☆11Sep 6, 2025Updated last year
- Automatically exported from code.google.com/p/rosasm2052f☆15Jun 12, 2022Updated 4 years ago
- A Cells Inside(tm) desktop UI framework rendered by OpenGL☆10Jul 6, 2016Updated 10 years ago
- Such doge very OS☆33Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An ultra thin C library to check real RAM program usage, down to the byte.☆15Apr 27, 2026Updated 6 months ago
- A memory-safe object-oriented programming language.☆15Updated this week
- Compiler and standard library for the Spice programming language.☆89Updated this week
- zig-prompter is a lightweight and flexible library for building and managing interactive text-based prompts.☆26Jul 11, 2025Updated last year
- Building blocks for Time Series Database (TSDB) in Go☆10Jul 8, 2020Updated 6 years ago
- Manipulate docx files with Common Lisp☆11Feb 26, 2024Updated 2 years ago
- Dotted notation with pattern matching☆14Updated this week
- An example TLA+ specification for a simple "raft style" leader election protocol☆10Oct 7, 2022Updated 4 years ago
- MyCompiler - A small IR for building programming languages.☆33Oct 14, 2026Updated 3 weeks ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A process manager written in Rust, and a pm2 alternative: one supervisor daemon keeps a flock of long-running processes alive on Linux, m…☆16Updated this week
- ☆12Feb 3, 2026Updated 9 months ago
- Miri: GPU-first programming language☆16Updated this week
- a bleve index implementation designed for efficiently executing searches against a single document (or a sequence of documents one at a t…☆11Aug 6, 2026Updated 3 months ago
- Multi-User AI Sandboxing, Collaboration and Coding Platform☆30Oct 26, 2026Updated last week
- Modern, Cloud-Native Kafka Connect for Data Backbones☆14Nov 23, 2025Updated 11 months ago
- Recommend AI coding harness changes from repository context and coding signals, then distribute approved rules, skills, hooks and agents …☆18Oct 22, 2026Updated 2 weeks ago