@berry-cs
Guthub

berry-cs

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    16
  • Global Org. Rank 130,018 (Top 42 %)
  • Registered over 12 years ago
  • Most used languages
    Java
         50.0 %
    Coq     25.0 %
    Racket
         25.0 %

Top repositories

1

sinbad

Java
9
star
2

big-data-cse

Java
5
star
3

lcsubstring-verified

Coq
1
star
4

sinbad-rkt

Racket
1
star