Erik Martin-Dorel erikmd
🐓
I get many notifications; might not see your @mention: email me also if need be!
Assoc. Prof. in Computer Science
-
Lab. IRIT, Univ. Toulouse
- Toulouse, France
-
15:52
(UTC +02:00) - https://linktr.ee/erikmd
- @erikmartindorel.bsky.social
- @ErikMartinDorel@fosstodon.org
Highlights
- Pro
Pinned Loading
-
ocaml-sf/learn-ocaml
ocaml-sf/learn-ocaml PublicA Web Application for Learning OCaml
-
validsdp/validsdp
validsdp/validsdp PublicA Coq tactic for proving multivariate inequalities using SDP solvers
-
ProofGeneral/opam-switch-mode
ProofGeneral/opam-switch-mode PublicSelect OCaml opam switches via a menu or using a command
-
-
docker-keeper
docker-keeper PublicMirror of https://gitlab.com/erikmd/docker-keeper [maintainer=@erikmd]: Tool to help maintain Docker Hub repositories of stable, dev, or nightly-build images from a YAML-specified, single-branch Gi…
Python 1
-
rocq-community/docker-coq-action
rocq-community/docker-coq-action PublicGitHub Action using Docker-Coq [maintainers=@erikmd,@Zimmi48]
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.