Zhoulai Fu (@zhoulaifu)
github

zhoulaifu

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    41
  • Global Rank 382,770 (Top 14 %)
  • Followers 18
  • Registered about 6 years ago
  • Most used languages
    OCaml
         33.3 %
    C
         16.7 %
    SMT     16.7 %
    CMake     16.7 %
    Python
         16.7 %
  • Location πŸ‡©πŸ‡° Denmark
  • Country Total Rank 1,658
  • Country Ranking
    SMT     1
    CMake     14
    OCaml
         28
    C
         312
    Python
         1,945

Top repositories

1

xsat

A Fast Floating-Point Satisfiability Solver
SMT
17
star
2

23_cse215_spring

5
star
3

22_cse215_spring

4
star
4

22_cse215_fall

3
star
5

coverme

raw data of my coverme implementation, pldi'17
C
3
star
6

23_cse215_fall

2
star
7

hello_ros1package

Minimal ROS-1 package
CMake
2
star
8

23_cse216_fall

OCaml
2
star
9

21_teaching_asa

Python
1
star
10

23_cse216_spring

OCaml
1
star