François Bobot (@bobot)
github

bobot

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    38
  • Global Rank 413,863 (Top 15 %)
  • Followers 34
  • Registered over 15 years ago
  • Most used languages
    OCaml
         87.5 %
    C++
         12.5 %
  • Location 🇫🇷 France
  • Country Total Rank 9,667
  • Country Ranking
    OCaml
         74
    C++
         3,373

Top repositories

1

oci

OCI: framework for continuous integrations and benchmarks
OCaml
11
star
2

soqool

OCaml
6
star
3

ocaml-flint

OCaml
5
star
4

FetedelascienceINRIAsaclay

Fête de la science INRIA saclay
OCaml
5
star
5

CVC4.old-svn

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.
C++
2
star
6

frama-c-ocaml-ctypes

OCaml
1
star
7

tocaml

An OCaml interpretor with `{%import "path|url" "sha"?}` extension for configuration file
OCaml
1
star
8

zarith

Old mirror of zarith svn repository https://forge.ocamlcore.org/projects/zarith/ (deprecated)
OCaml
1
star