ValeLang / Vale
Compiler for the Vale programming language - http://vale.dev/
☆1,816Updated 8 months ago
Alternatives and similar repositories for Vale:
Users that are interested in Vale are comparing it to the libraries listed below
- Systems language with linear types and capability-based security.☆1,152Updated 6 months ago
- A language for building concurrent software with confidence☆928Updated this week
- A safe, easy systems language☆1,923Updated this week
- The Hylo programming language☆1,281Updated this week
- Fast and concurrent scripting.☆1,262Updated last month
- A small extensible programming language designed for concise expression with little code.☆1,062Updated 4 months ago
- A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebrai…☆1,103Updated last year
- Source code for the Mun language and runtime.☆1,928Updated this week
- The Lobster Programming Language☆2,338Updated this week
- A Zig language server supporting Zig developers with features like autocomplete and goto definition☆3,210Updated this week
- 👨🚀 buzz, A small/lightweight statically typed scripting language☆1,269Updated this week
- A modern fully featured C compiler.☆1,174Updated this week
- A static, type inferred and embeddable language written in Rust.☆3,256Updated last month
- A fast and lightweight native programming language☆1,249Updated this week
- Write expressive, high-performance parsers with ease.☆3,729Updated 2 weeks ago
- Koka language compiler and interpreter☆3,377Updated last week
- An embeddable dynamic programming language for Rust.☆1,821Updated this week
- A fast, friendly, functional language.☆4,623Updated this week
- ☆1,260Updated 5 months ago
- 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C☆1,599Updated 2 years ago
- Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and …☆2,124Updated last month
- A highly experimental vi-inspired editor where you edit code, not text.☆741Updated 11 months ago
- zig game engine & graphics toolkit☆3,572Updated this week
- Rhai - An embedded scripting language for Rust.☆3,968Updated last week
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,668Updated 10 months ago
- 💻Build one codebase and get native UI on Windows, Linux and Web☆1,888Updated 2 weeks ago
- It's a New Kind of Wrapper for Exposing LLVM (Safely)☆2,456Updated this week
- A rusty dynamically typed scripting language☆1,794Updated 10 months ago
- An experimental stackless Lua VM implemented in pure Rust☆1,771Updated last month
- ☆1,016Updated last year