val
vale
Our great sponsors
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
val
-
What's in a (C) box?
Once I got to know it, I had to implement a small header library C (available on Github). It allows writing code like this:
vale
-
Vale's Fearless FFI, for Safer Dependencies and Supply-Chain Attack Mitigation
Hey, Vael's a great name! And there's already Val, Vala, Vale, VLang, and VALE, so you're in good company. The 'v' and 'l' sounds are my favorite, so its worth the crowding!
-
Vale is the fast, safe, and easy programming language
Given the possible confusion with Vale[1] and Vala[2], I suggest to rename the language to some new unambiguous name asap in order get more visibility.
Otherwise, it looks very promising!
[1] https://github.com/project-everest/vale
What are some alternatives?
libaco - A blazing fast and lightweight C asymmetric coroutine library 💎 ⛅🚀⛅🌞
hylo - The Hylo programming language
go-server-core - An attempt to build a plugin based server
Vale - Compiler for the Vale programming language - http://vale.dev/
vale-action - :octocat: The official GitHub Action for Vale -- install, manage, and run Vale with ease.
effekt - A research language with effect handlers and lightweight effect polymorphism
kernel - A Rust-based, lightweight unikernel.
datafun - Research on integrating datalog & lambda calculus via monotonicity types
carbon-lang - Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
HVM - A massively parallel, optimal functional runtime in Rust
rfcs - RFC process for Bytecode Alliance projects
circle - The compiler is available for download. Get it!