Vélus

velus.inria.frsite

Verified compiler for a Lustre/Scade-like dataflow synchronous language.

from

Coq

added

2026-10-10

likes

0

similar

1. ▲

   Vlime github.com

   tool link ↗
   
2. ▲

   Vellum github.com

   tool link ↗
   
3. ▲

   How To Make A V Compiler Backend l-m.dev

   Walkthrough of writing a new codegen backend for V.

   site topic programmingtopic books & writing link ↗
   site
4. ▲

   VST vst.cs.princeton.edu

   Toolchain for verifying C code inside Coq in a higher-order concurrent, impredicative separation logic that is sound w.r.t. the Clight language of the CompCert compiler.

   site topic programming link ↗
   site
5. ▲

   Luminus luminusweb.net

   It aims to provide a robust, scalable, and easy to use platform.

   site link ↗
   site
6. ▲

   vlang-mode.el github.com

   Emacs major mode for the V programming language.

   tool topic programming link ↗
   tool

Coq › Projects > Verified Software: “Verified compiler for a Lustre/Scade-like dataflow synchronous language.”