Compiler for the Vale programming language - http://vale.dev/
☆2,011Sep 17, 2026Updated this week
Alternatives and similar repositories for Vale
Users that are interested in Vale are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Systems language with linear types and capability-based security.☆1,577Jul 28, 2025Updated last year
- The Hylo programming language☆1,557Updated this week
- The Lobster Programming Language☆2,738Updated this week
- Koka language compiler and interpreter☆4,067Updated this week
- A language for building concurrent software with confidence☆1,302Updated this week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A safe, easy systems language☆2,343Updated this week
- Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and …☆2,424Jun 24, 2025Updated last year
- Odin Programming Language☆11,966Updated this week
- A fast, friendly, functional language.☆6,061Updated this week
- Cone Programming Language☆559Updated this week
- Source code for the Mun language and runtime.☆2,139Sep 7, 2026Updated last week
- Pony is an open-source, actor-model, capabilities-secure, high performance programming language☆6,188Updated this week
- Compiler for the C3 language☆5,819Updated this week
- Fast and concurrent scripting.☆1,520Dec 21, 2025Updated 8 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A dynamic language and bytecode vm☆4,416Updated this week
- The Jakt Programming Language☆2,988Aug 21, 2026Updated 3 weeks ago
- Moved to Codeberg☆43,302Nov 27, 2025Updated 9 months ago
- Umka: a statically typed embeddable scripting language☆2,106Aug 23, 2026Updated 3 weeks ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,161Mar 23, 2025Updated last year
- The Flix Programming Language☆2,743Updated this week
- A statically typed lisp, without a GC, for real-time applications.☆6,045Sep 11, 2026Updated last week
- Beef Programming Language☆2,849Updated this week
- Simple, expressive & portable programming language for efficient scripting☆886Sep 10, 2026Updated last week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A small extensible programming language designed for concise expression with little code.☆1,093Apr 22, 2026Updated 4 months ago
- Vox language compiler. AOT / JIT / Linker. Zero dependencies☆376Oct 2, 2025Updated 11 months ago
- The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language.☆8,133Nov 19, 2025Updated 10 months ago
- Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada a…☆18,236Updated this week
- A fast and lightweight native programming language☆1,421Updated this week
- A modern fully featured C compiler.☆1,807Updated this week
- A general purpose programming language☆222May 16, 2026Updated 4 months ago
- A modern proof language☆3,762Jan 22, 2025Updated last year
- Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Suppor…☆37,872Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Factor programming language☆1,850Updated this week
- The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾☆3,465Updated this week
- 👨🚀 buzz, A small/lightweight statically typed scripting language☆1,531Aug 27, 2026Updated 3 weeks ago
- A friendly programming language from the future☆6,733Aug 19, 2026Updated last month
- A language with lexical effect handlers and lightweight effect polymorphism☆469Updated this week
- A static, type inferred and embeddable language written in Rust.☆3,446Aug 6, 2026Updated last month
- ⭐️ A friendly language for building type-safe, scalable systems!☆21,927Updated this week