rfcs vs val

rfcs

RFC process for Bytecode Alliance projects (by bytecodealliance)

Suggest topics

Source Code

Suggest alternative

Edit details

val

A small library to bring NaNboxing to C (by rdentato)

C nanbox dynami-types

Source Code

Suggest alternative

Edit details

InfluxDB - Power Real-Time Data Analytics at Scale

Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

www.influxdata.com

featured

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com

featured

rfcs		val
	Project
8	Mentions	1
58	Stars	3
-	Growth	-
4.3	Activity	6.6
16 days ago	Latest Commit	4 months ago
	Language	C
Apache License 2.0	License	MIT License

The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
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.

rfcs

Posts with mentions or reviews of rfcs. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-05-08.

What are the current hot topics in type theory and static analysis?
15 projects | /r/ProgrammingLanguages | 8 May 2023

I would add that Equality saturation/E-graphs has become quite a hot topic recently, since their POPL21 paper, with workshops dedicated to applications of e-graphs. They have even recently been added to Cranelift as an IR for optimizations.
Blog Post: Next Rust Compiler
7 projects | /r/rust | 25 Jan 2023

I think with Cranelift's investment into an e-graph based optimizer (https://github.com/bytecodealliance/rfcs/blob/main/accepted/cranelift-egraph.md) they are well positioned to have quite competitive performance as a backend.
Inko in 2023
3 projects | /r/ProgrammingLanguages | 2 Jan 2023

They're also actively working in this area, for example the recently added equality saturation framework and the pattern matching DSL it builds on.
Wasmtime Reaches 1.0: Fast, Safe and Production Ready!
5 projects | /r/rust | 20 Sep 2022

There's an RFC here: https://github.com/bytecodealliance/rfcs/pull/28 and Saúl Cabrera, the person who is leading this effort and implementing the compiler tier, has a work-in-progress draft PR here: https://github.com/bytecodealliance/wasmtime/pull/4907
Cranelift: Using E-Graphs for Verified, Cooperating Middle-End Optimizations
1 project | news.ycombinator.com | 12 Aug 2022

1 project | /r/Compilers | 1 Jul 2022
Cranelift Progress Report: A Look Back at 2021
1 project | /r/rust | 8 Dec 2021

val

Posts with mentions or reviews of val. We have used some of these posts to build our list of alternatives and similar projects.

What's in a (C) box?
1 project | dev.to | 1 Oct 2023

Once I got to know it, I had to implement a small header library C (available on Github). It allows writing code like this:

What are some alternatives?

When comparing rfcs and val you can also consider the following projects:

reduze - Zig program reduction is upstream in compiler due to various parser + formatter interactions.

libaco - A blazing fast and lightweight C asymmetric coroutine library 💎 ⛅🚀⛅🌞

buck2 - Build system, successor to Buck

vale - Verified Assembly Language for Everest

go-server-core - An attempt to build a plugin based server

design

vale-action - :octocat: The official GitHub Action for Vale -- install, manage, and run Vale with ease.

spiderlightning - A set of WIT definitions and associated implementations to enable app developers to work at a faster pace and require less knowledge of the environment in which they are executing.

effekt - A research language with effect handlers and lightweight effect polymorphism

marker - An experimental linting interface for Rust. Let's make custom lints a reality

kernel - A Rust-based, lightweight unikernel.