Benedikt Schmidt (@beschmi)
github

beschmi

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    7
  • Global Rank 1,193,538 (Top 42 %)
  • Followers 16
  • Following 1
  • Registered over 12 years ago
  • Most used languages
    OCaml
         66.7 %
    Haskell
         33.3 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 187,513
  • Country Ranking
    OCaml
         378
    Haskell
         3,191

Top repositories

1

lean-ocaml-bindings

Ocaml bindings for the Lean Theorem Prover http://leanprover.github.io/
OCaml
3
star
2

factory-ocaml-bindings

Bindings for the factory library used by Singular to perform polynomial algebra computations
OCaml
3
star
3

darcs-patchindex

patchindex related repository
Haskell
1
star