Giters
Erik Martin-Dorel (erikmd)

erikmd

Geek Repo

68

followers

131

following

780

stars

Company:Lab. IRIT, Univ. Toulouse 3 Paul Sabatier

Location:Toulouse, France

Home Page:https://linktr.ee/erikmd

Twitter:@ErikMartinDorel

Github PK Tool:Github PK Tool

Organizations
coq
coq-community
learn-ocaml-community
math-comp
ocaml-sf
pfitaxel
ProofGeneral
UPS-ILU
validsdp

Erik Martin-Dorel's repositories

beautiful-jekyll

Build a beautiful and simple website in literally minutes. Demo at http://deanattali.com/beautiful-jekyll

Language:HTMLLicense:MITStargazers:0Issues:0Issues:0

hevea-mathjax

small fork of the hevea latex to html translator, with a focus on enabling the generation of reveals.js slides

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

jplag

JPlag - Detecting Software Plagiarism

Language:JavaLicense:GPL-3.0Stargazers:0Issues:0Issues:0

ogen

A tool for creating new OCaml projects with OPAM, Oasis, and Merlin

Language:OCamlLicense:GPL-3.0Stargazers:0Issues:0Issues:0

orgclone

Language:RubyStargazers:0Issues:0Issues:0

proofgeneral.github.io

Sources for the ProofGeneral website at https://proofgeneral.github.io/

Language:HTMLLicense:MITStargazers:0Issues:0Issues:0