jogiet

Ph.D. Student at ENS Paris

École Normale Supérieure

Pinned Repositories

camllib
Mirror of svn://scm.gforge.inria.fr/svnroot/bjeannet
Language:OCaml0 0 00
CompToCat
Functionnal programming course project.
Language:OCaml0 0 00
CReal
Language:TeX0 0 00
Euler
Project Euler
Language:C++0 0 00
Fixpoint
Language:OCaml0 1 21
interproc
bjeannet - Revision 1100: /pkg/interproc/trunk (https://scm.gforge.inria.fr/anonscm/svn/bjeannet/pkg/interproc/trunk/)
Language:OCaml0 0 00
MOLOSS
MOLOSS is a satisfiability solver for modal logics
Language:OCaml4 2 72
PTS
Pure Type Systems
Language:OCaml0 1 00
Sa-Majeste-Truchante
Language:OCaml00
SVM
Language:Jupyter Notebook0 0 00

jogiet's Repositories

jogiet/MOLOSS
MOLOSS is a satisfiability solver for modal logics
Language:OCaml4 2 72
jogiet/camllib
Mirror of svn://scm.gforge.inria.fr/svnroot/bjeannet
Language:OCaml0 0 00
jogiet/CompToCat
Functionnal programming course project.
Language:OCaml0 0 00
jogiet/CReal
Language:TeX0 0 00
jogiet/Euler
Project Euler
Language:C++0 0 00
jogiet/Fixpoint
Language:OCaml0 1 21
jogiet/interproc
bjeannet - Revision 1100: /pkg/interproc/trunk (https://scm.gforge.inria.fr/anonscm/svn/bjeannet/pkg/interproc/trunk/)
Language:OCaml0 0 00
jogiet/PTS
Pure Type Systems
Language:OCaml0 1 00
jogiet/Sa-Majeste-Truchante
Language:OCaml00
jogiet/SVM
Language:Jupyter Notebook0 0 00
jogiet/Kahn
Language:OCaml0 0
jogiet/Lambda-Interpretor
Language:OCaml
jogiet/landmarks-viewer
A web front-end for the landmarks library
Language:OCaml0 0
jogiet/ocaml-cheat-sheets
OCaml Documentations as one-pagers, easy to keep useful commands in mind
Language:TeX0 0
jogiet/ProofAsst
Language:Coq0 0
jogiet/SyDig
Système digital course project
Language:OCaml0 0