PhD in theoretical computer science (mathematical logic)
- Paris, France
- https://engboris.fr
-
transcendental-syntax Public
Technical interpretation of Girard's transcendental syntax
-
gnucobol Public
Forked from OCamlPro/gnucobolA clone of the sourceforge GnuCOBOL compiler from COBOL to C.
C GNU Lesser General Public License v3.0 UpdatedAug 16, 2024 -
superbol-studio-oss Public
Forked from OCamlPro/superbol-studio-ossOpen-Source part of the SuperBOL Studio, including the Vscode mode with LSP
OCaml Other UpdatedMay 29, 2024 -
-
gnucobol-contrib Public
Forked from OCamlPro/gnucobol-contribGIT Mirror of the GnuCOBOL contributions tree
COBOL UpdatedFeb 1, 2024 -
spaghettinet Public
LaTeX macros for interaction nets and Linear Logic's proof nets using TikZ 🍝
TeX UpdatedDec 18, 2020 -
mappagani Public
Coloration automatique et manuelle de carte à nombre de régions variable avec 4 couleurs en OCaml. Projet de programmation fonctionnelle (L3 Informatique)