Sylvain78

Pinned Repositories

BeTeX
LaTeX editor for BeOS/Zeta/Haiku
Language:C0 2 00
CompCert
The CompCert formally-verified C compiler
Language:Coq00
dune
A composable build system for OCaml.
Language:OCaml00
dypgen
dypgen parser generator
Language:OCaml0 1 00
haiku
The Haiku operating system. (Pull requests will be ignored; patches may be sent to https://dev.haiku-os.org).
Language:C++1 3 00
haikuports
Software ports for the Haiku operating system.
Language:Shell0 1 00
lablgtk
LablGTK 2 and 3: an interface to the GIMP Tool Kit ; intended to upgrade to lablGTK 4
Language:OCaml00
lwt
OCaml promises and concurrent I/O
Language:OCaml00
maiko
Medley Interlisp virtual machine
Language:C00
Preuves
Formal verifier for mathematics demonstrations. Based on the description of the first order logic WITH schemas by Patrick Dehornoy
Language:OCaml1 3 20

Sylvain78's Repositories

Sylvain78/haiku
The Haiku operating system. (Pull requests will be ignored; patches may be sent to https://dev.haiku-os.org).
Language:C++1 3 00
Sylvain78/Preuves
Formal verifier for mathematics demonstrations. Based on the description of the first order logic WITH schemas by Patrick Dehornoy
Language:OCaml1 3 20
Sylvain78/BeTeX
LaTeX editor for BeOS/Zeta/Haiku
Language:C0 2 00
Sylvain78/CompCert
The CompCert formally-verified C compiler
Language:Coq00
Sylvain78/dune
A composable build system for OCaml.
Language:OCaml00
Sylvain78/dypgen
dypgen parser generator
Language:OCaml0 1 00
Sylvain78/haikuports
Software ports for the Haiku operating system.
Language:Shell0 1 00
Sylvain78/lablgtk
LablGTK 2 and 3: an interface to the GIMP Tool Kit ; intended to upgrade to lablGTK 4
Language:OCaml00
Sylvain78/lwt
OCaml promises and concurrent I/O
Language:OCaml00
Sylvain78/maiko
Medley Interlisp virtual machine
Language:C00
Sylvain78/merlin
Context sensitive completion for OCaml in Vim and Emacs
Language:OCaml00
Sylvain78/metamath-exe
Metamath program - source code for the Metamath executable
Language:C00
Sylvain78/mtime
Monotonic wall-clock time for OCaml
Language:OCaml
Sylvain78/ocaml
The core OCaml system: compilers, runtime system, base libraries
Language:OCaml2 0
Sylvain78/ocamlfind
The OCaml findlib library manager
Language:OCaml
Sylvain78/opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Sylvain78/Paladin
Paladin is an open source integrated development environment (IDE) for Haiku OS
Sylvain78/phHaikuRecipes
Recipes for Haiku development
Sylvain78/set.mm
Metamath source file for logic and set theory
Language:HTML
Sylvain78/spawn
Spawning sub-processes
Language:C
Sylvain78/Student
Haiku graphical interface for Preuves
Language:C++
Sylvain78/Vision
A native Haiku IRC client that is feature filled, fast, lightweight, and stable.
Language:C++
Sylvain78/website
The Haiku website. (Pull requests are accepted; please file issues at https://dev.haiku-os.org).