Repositories
6
 Projects Packages Public activity Starred repositories
Filter
Sort
web
HTML 0 0
Source code for
website
Updated 2026-07-10 06:54:44 +02:00
hms/nixos
nixos
Nix 0 0
NixOS configuration
nixos
Updated 2026-07-09 23:41:00 +02:00
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
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
hsim
OCaml 0 0
Hybrid system simulation runtime.
hybrid-systems semantics simulation zelus
Updated 2026-06-12 18:50:56 +02:00
hms/chandelle
chandelle
OCaml 0 0
(WIP) Tiny Lustre to WhyML Compiler
Updated 2026-06-12 18:50:35 +02:00