Shaobo (@shaobo-he)
github

shaobo-he

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    11
  • Global Rank 905,545 (Top 32 %)
  • Followers 21
  • Following 28
  • Registered over 10 years ago
  • Most used languages
    Racket
         75.0 %
    Python
         25.0 %

Top repositories

1

handbook-of-practical-logic-and-automated-reasoning-in-racket

Racket
6
star
2

sls

OL1V3R: Reimplementation of "Stochastic Local Search for Satisfiability Modulo Theories" in Racket (probably with support of FP)
Racket
2
star
3

leetcode.hs

Selected leetcode problem solutions in Functional Programming Languages
Racket
2
star
4

ct-fuzz-artifact

Python
1
star