engboris

PhD in theoretical computer science (mathematical logic)

@OCamlProParis, France

Pinned Repositories

nene-quest
Reproduction of Nene Sakura's game "Nene quest" from the japanese anime "New Game!!" with SFML
Language:C++76 8 45
cv-template
Simple but effective CV template in Typst
Language:Typst00
gnucobol
A clone of the sourceforge GnuCOBOL compiler from COBOL to C.
Language:C0 0 00
gnucobol-contrib
GIT Mirror of the GnuCOBOL contributions tree
Language:COBOL0 0 00
mappagani
Coloration automatique et manuelle de carte à nombre de régions variable avec 4 couleurs en OCaml. Projet de programmation fonctionnelle (L3 Informatique)
Language:OCaml0 2 11
spaghettinet
LaTeX macros for interaction nets and Linear Logic's proof nets using TikZ :spaghetti:
Language:TeX0 2 00
superbol-studio-oss
Open-Source part of the SuperBOL Studio, including the Vscode mode with LSP
Language:OCaml00
transcendental-syntax
Technical interpretation of Girard's transcendental syntax
Language:OCaml12 2 01
superbol-studio-oss
Open-Source part of SuperBOL Studio, including the Visual Studio Code extension and its LSP server
Language:OCaml20 7 9212
hugoplate
Hugoplate is a free starter template built with Hugo and TailwindCSS that will save you hours of work.
Language:JavaScript817 11 116225

engboris/transcendental-syntax
Technical interpretation of Girard's transcendental syntax
Language:OCaml12 2 01
engboris/cv-template
Simple but effective CV template in Typst
Language:Typst00
engboris/gnucobol
A clone of the sourceforge GnuCOBOL compiler from COBOL to C.
Language:C0 0 00
engboris/gnucobol-contrib
GIT Mirror of the GnuCOBOL contributions tree
Language:COBOL0 0 00
engboris/mappagani
Coloration automatique et manuelle de carte à nombre de régions variable avec 4 couleurs en OCaml. Projet de programmation fonctionnelle (L3 Informatique)
Language:OCaml0 2 11
engboris/spaghettinet
LaTeX macros for interaction nets and Linear Logic's proof nets using TikZ :spaghetti:
Language:TeX0 2 00
engboris/superbol-studio-oss
Open-Source part of the SuperBOL Studio, including the Vscode mode with LSP
Language:OCaml00