Explore

hms/ web

HTML 0 0

Source code for

website

Updated 2026-07-10 06:54:44 +02:00

hms/ nixos

Nix 0 0

NixOS configuration

nixos

Updated 2026-07-09 23:41:00 +02:00

hms/ lambda

OCaml 0 0

A translation of Gérard Huet's Lambda Calculus formalization in Coq (https://github.com/coq-contribs/lambda) to WhyML. Part of an internship focusing on adding case analysis on inductive predicates in Why3.

formal-proofs lambda-calculus why3

Updated 2026-06-22 08:45:58 +02:00

hms/ hsim-live

OCaml 0 0

Backing repository for a live-coding presentation of a hybrid system runtime. See https://git.henri-saudubray.fr/hms/hsim for a complete implementation.

Updated 2026-06-12 20:20:15 +02:00

hms/ hsim

OCaml 0 0

Hybrid system simulation runtime.

hybrid-systems semantics simulation zelus

Updated 2026-06-12 18:50:56 +02:00

hms/ chandelle

OCaml 0 0

(WIP) Tiny Lustre to WhyML Compiler

Updated 2026-06-12 18:50:35 +02:00