Sarah Winkler (@bytekid)
github

bytekid

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    16
  • Global Rank 735,430 (Top 26 %)
  • Followers 9
  • Registered over 12 years ago
  • Most used languages
    OCaml
         80.0 %
    Python
         20.0 %
  • Location πŸ‡¦πŸ‡Ή Austria
  • Country Total Rank 2,895
  • Country Ranking
    OCaml
         4
    Python
         1,032

Top repositories

1

mkbtt

a Knuth-Bendix completion tool combining termination tools and multi-completion
OCaml
6
star
2

cocomot

Conformance checking for data Petri nets
Python
4
star
3

koala

SGGS-based theorem prover
OCaml
3
star
4

maedmax

OCaml
2
star
5

maxcomptt

encoding dependency pair techniques and control strategies for maximal completion
OCaml
1
star