karamel
val
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.
karamel
-
Let's collect relatively new research programming languages in this thread
Jasmin and F* don't have similar goals, Jasmin is a language designed to precisely express low-level code, while F* is a generalist language for verified programming. There is a subsystem of F* that performs extraction to "readable C code", Karamel (used to be called Kremlin), but you get the usual limitations of C code as a high-level assembler, and also an embedded assembly layer built on Vale. Project Everest therefore generates artifacts that are a mix of C and assembly, rather than a new low-level language design as Jasmin.
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:
What are some alternatives?
jasmin - Language for high-assurance and high-speed cryptography
libaco - A blazing fast and lightweight C asymmetric coroutine library 💎 ⛅🚀⛅🌞
koika - A core language for rule-based hardware design 🦑
vale - Verified Assembly Language for Everest
datafun - Research on integrating datalog & lambda calculus via monotonicity types
go-server-core - An attempt to build a plugin based server
cogent - Cogent Project
ponyc - Pony is an open-source, actor-model, capabilities-secure, high performance programming language
kernel - A Rust-based, lightweight unikernel.
hacl-star - HACL*, a formally verified cryptographic library written in F*
vale-action - :octocat: The official GitHub Action for Vale -- install, manage, and run Vale with ease.