Flavio Lerda (@flerda)
github

flerda

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    24
  • Global Rank 571,305 (Top 20 %)
  • Followers 32
  • Following 6
  • Registered almost 16 years ago
  • Most used languages
    OCaml
         100.0 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 20,399
  • Country Ranking
    OCaml
         111

Top repositories

1

MiniSat-ocaml

OCaML bindings for the MiniSat satisfiability solver.
OCaml
7
star