Compiler for the Vale programming language - http://vale.dev/
☆2,028Sep 23, 2026Updated 2 weeks ago
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,587Jul 28, 2025Updated last year
- The Hylo programming language☆1,570Updated this week
- The Lobster Programming Language☆2,754Updated this week
- Koka language compiler and interpreter☆4,091Oct 1, 2026Updated last week
- A language for building concurrent software with confidence☆1,305Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A safe, easy systems language☆2,352Updated this week
- Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and …☆2,436Jun 24, 2025Updated last year
- Odin Programming Language☆12,100Updated this week
- A fast, friendly, functional language.☆6,100Updated this week
- Cone Programming Language☆559Updated this week
- Source code for the Mun language and runtime.☆2,147Oct 2, 2026Updated last week
- Pony is an open-source, actor-model, capabilities-secure, high performance programming language☆6,198Updated this week
- Compiler for the C3 language☆5,869Updated this week
- Fast and concurrent scripting.☆1,523Dec 21, 2025Updated 9 months ago
- 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.
- A dynamic language and bytecode vm☆4,449Updated this week
- The Jakt Programming Language☆2,989Aug 21, 2026Updated last month
- Moved to Codeberg☆43,304Nov 27, 2025Updated 10 months ago
- Umka: a statically typed embeddable scripting language☆2,112Updated this week
- 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,754Updated this week
- A statically typed lisp, without a GC, for real-time applications.☆6,062Oct 1, 2026Updated last week
- Beef Programming Language☆2,863Updated this week
- Simple, expressive & portable programming language for efficient scripting☆890Sep 10, 2026Updated last month
- 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.
- A small extensible programming language designed for concise expression with little code.☆1,090Apr 22, 2026Updated 5 months ago
- Vox language compiler. AOT / JIT / Linker. Zero dependencies☆375Oct 2, 2025Updated last year
- The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language.☆8,146Nov 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,262Updated this week
- A fast and lightweight native programming language☆1,425Updated this week
- A general purpose programming language☆223Sep 24, 2026Updated 2 weeks ago
- A modern fully featured C compiler.☆1,847Updated this week
- A modern proof language☆3,760Jan 22, 2025Updated last year
- Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Suppor…☆37,990Updated 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.
- Factor programming language☆1,857Updated this week
- The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾☆3,465Sep 25, 2026Updated 2 weeks ago
- 👨🚀 buzz, A small/lightweight statically typed scripting language☆1,531Aug 27, 2026Updated last month
- A friendly programming language from the future☆6,750Updated this week
- A language with lexical effect handlers and lightweight effect polymorphism☆474Updated this week
- A static, type inferred and embeddable language written in Rust.☆3,450Aug 6, 2026Updated 2 months ago
- ⭐️ A friendly language for building type-safe, scalable systems!☆21,985Updated this week