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 19 repositories
- sepviz Public
Automatic rendering of separation-logic diagrams for Iris and CFML in Alectryon and VSRocq
epfl-systemf/sepviz’s past year of commit activity - sepviz-cfml-examples Public
epfl-systemf/sepviz-cfml-examples’s past year of commit activity - sepviz-iris-tutorial Public
epfl-systemf/sepviz-iris-tutorial’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 - .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
Top languages
Loading…
Most used topics
Loading…