Guillaume Bury (@Gbury)
github

Gbury

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    276
  • Global Rank 95,341 (Top 4 %)
  • Followers 39
  • Following 9
  • Registered over 12 years ago
  • Most used languages
    OCaml
         100.0 %
  • Location 🇫🇷 France
  • Country Total Rank 2,655
  • Country Ranking
    OCaml
         11

Top repositories

1

mSAT

A modular sat/smt solver with proof output.
OCaml
97
star
2

dolmen

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
OCaml
78
star
3

ocaml-memgraph

A small library to output memory graph for ocaml values
OCaml
34
star
4

archsat

A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
OCaml
26
star
5

ocaml-cgroups

OCaml interface to cgroups
OCaml
20
star
6

Ocaml-simplex

An ocaml implementation of variants of the simplex and branch&bound algorithms for satisfiability.
OCaml
8
star
7

sat-bench

A small repo to test and benchmark different sat solvers
OCaml
4
star
8

hashcode18

Foobar
OCaml
3
star
9

tune

1
star
10

4ever

Database for dance competitions and scoring systems
OCaml
1
star