Giters
mbegel

mbegel

Geek Repo

4

followers

1

following

1

stars

Home Page:https://myriam.begel.fr

Github PK Tool:Github PK Tool

mbegel's repositories

dash

Analytical Web Apps for Python & R. No JavaScript Required.

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

dash-docs

:book: The Official Dash Userguide & Documentation

License:MITStargazers:0Issues:0Issues:0

eth-isabelle-slides

Language:TeXStargazers:0Issues:0Issues:0

eth-isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs

Language:IsabelleLicense:NOASSERTIONStargazers:3Issues:0Issues:0

backend

Back-end of Projet Sigma

Language:PythonLicense:AGPL-3.0Stargazers:0Issues:0Issues:0

frontend

Front-end of Projet Sigma

Language:TypeScriptLicense:AGPL-3.0Stargazers:0Issues:0Issues:0