We're a programming languages, formal methods, and systems engineering lab at EPFL, led by Clément Pit-Claudel (@cpitclaudel). We use (and invent!) mathematical formalisms and interactive tools to explore new ways to develop computer systems. More at our official website: systemf.epfl.ch.
SYSTEMF lab
Systems and Formalisms lab, EPFL IC, led by Prof. Clément Pit-Claudel
Pinned Loading
Repositories
Showing 10 of 15 repositories
- .github Public
epfl-systemf/.github’s past year of commit activity - StrictOrderSolver Public
Complete solver for strict orders (transitive+irreflexive relations) for Rocq
epfl-systemf/StrictOrderSolver’s past year of commit activity - lorikeet Public
epfl-systemf/lorikeet’s past year of commit activity - verified-bootstraping Public Forked from myreen/imp_bootstrap
Verified bootstrapping of an imperative compiler
epfl-systemf/verified-bootstraping’s past year of commit activity - librrd Public
Railroad diagram (RRD) layout library. Try it out at https://systemf.epfl.ch/etc/librrd/.
epfl-systemf/librrd’s past year of commit activity - logical-pinning Public
The mechanized formalization of logical pinning, a lightweight borrowing model and proof discipline for precise reasoning about container-internal pointers.
epfl-systemf/logical-pinning’s past year of commit activity - coq Public Forked from rocq-prover/rocq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
epfl-systemf/coq’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…