ValeLang/Vale
Some data may be outdated — see provenance labels.
Compiler for the Vale programming language - http://vale.dev/ observed · 2026-10-02
Health v2 · maintenance only
66/100
- Activity 96
- Release rhythm 8
- Longevity 100
How is this computed?
round(0.45*activity + 0.35*rhythm + 0.20*longevity); archived -> min(score, 10) — computed 2026-10-21. Adoption (stars, forks) is never an input.
- gap_med: n/a
- age_days: 2305
- days_rel: n/a
- days_push: 27
- n_releases_24m: 0
Adoption not part of the score
2022 stars · 59 forks observed · 2026-10-02
What it is AI-extracted, prompt v1, taxonomy v1, 2026-08-30, confidence not recorded
The compiler (valec) for Vale, an experimental statically-typed systems programming language that compiles ahead-of-time to LLVM. Vale aims for memory safety via generational references and single ownership without garbage collection or a borrow checker.
Use cases
- compile vale programs to fast native binaries
- learn a memory-safe systems programming language without borrow checker
- write safe native code with fearless ffi
- experiment with generational references memory safety
- build fast statically-typed command-line applications
When to choose
- you want to experiment with a novel memory-safe systems language
- you need native-speed binaries without GC or borrow-checker friction
- you're interested in research into linear types and region borrow checking
When to avoid
- you need a production-stable language with mature tooling and ecosystem
- you require guaranteed long-term support or large community libraries
- you need a language that's ready for mission-critical use today
Facets
cli-tool · maturity experimental
compiler programming-language programming-languages compilers developer-tools windows cpp systems-programming memory-safety generational-references llvm statically-typed language-compiler linux macos
3 sources
- readme: https://github.com/ValeLang/Vale · fetched 2026-10-02 · 952fdaa053ab
- homepage: https://vale.dev/ · fetched 2026-08-29 · a6ea23f00fb6
- site_page: https://vale.dev/blog/linear-types-borrowing · fetched 2026-08-29 · fc68f9a63a22
Member repositories
| Repository | Role | Health v2 |
|---|---|---|
| ValeLang/Vale | main | 66 |
For agents
Data as of 2026-10-19T08:05:51.212177+00:00 · Report a problem