Zhoulai Fu (@zhoulaifu)
github

zhoulaifu

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

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

23_cse216_fall

OCaml
2
star
8

hello_ros1package

Minimal ROS-1 package
CMake
2
star
9

21_teaching_asa

Python
1
star
10

23_cse216_spring

OCaml
1
star