Compiler for the Vale programming language - http://vale.dev/
☆2,003May 14, 2024Updated 2 years 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,552Jul 28, 2025Updated 11 months ago
- The Hylo programming language☆1,542Jul 13, 2026Updated last week
- The Lobster Programming Language☆2,735Updated this week
- Koka language compiler and interpreter☆3,966Updated this week
- A language for building concurrent software with confidence☆1,291Updated this week
- 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.
- A safe, easy systems language☆2,314Updated this week
- Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and …☆2,398Jun 24, 2025Updated last year
- Odin Programming Language☆11,447Updated this week
- A fast, friendly, functional language.☆5,858Updated this week
- Cone Programming Language☆556Dec 12, 2022Updated 3 years ago
- Source code for the Mun language and runtime.☆2,124Jun 19, 2026Updated last month
- Pony is an open-source, actor-model, capabilities-secure, high performance programming language☆6,143Updated this week
- Compiler for the C3 language☆5,685Updated this week
- Fast and concurrent scripting.☆1,451Dec 21, 2025Updated 7 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A dynamic language and bytecode vm☆4,336Jul 1, 2026Updated 2 weeks ago
- The Jakt Programming Language☆2,991Updated this week
- Moved to Codeberg☆43,263Nov 27, 2025Updated 7 months ago
- Umka: a statically typed embeddable scripting language☆2,075Jul 12, 2026Updated last week
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,156Mar 23, 2025Updated last year
- The Flix Programming Language☆2,697Updated this week
- A statically typed lisp, without a GC, for real-time applications.☆5,987Jun 29, 2026Updated 3 weeks ago
- Beef Programming Language☆2,822Updated this week
- Simple, expressive & portable programming language for efficient scripting☆879Jun 2, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A small extensible programming language designed for concise expression with little code.☆1,092Apr 22, 2026Updated 2 months ago
- Vox language compiler. AOT / JIT / Linker. Zero dependencies☆373Oct 2, 2025Updated 9 months ago
- The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language.☆8,078Nov 19, 2025Updated 8 months ago
- Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada a…☆18,127Updated this week
- A fast and lightweight native programming language☆1,414Updated this week
- A modern fully featured C compiler.☆1,742Updated this week
- A general purpose programming language☆221May 16, 2026Updated 2 months ago
- A modern proof language☆3,764Jan 22, 2025Updated last year
- Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Suppor…☆37,741Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Factor programming language☆1,838Jul 15, 2026Updated last week
- The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾☆3,466Jun 28, 2026Updated 3 weeks ago
- 👨🚀 buzz, A small/lightweight statically typed scripting language☆1,508Jul 10, 2026Updated last week
- A language with lexical effect handlers and lightweight effect polymorphism☆451Updated this week
- A friendly programming language from the future☆6,674Jul 4, 2026Updated 2 weeks ago
- A static, type inferred and embeddable language written in Rust.☆3,413Jul 10, 2026Updated last week
- ⭐️ A friendly language for building type-safe, scalable systems!☆21,669Updated this week