shuhung (@shhyou)
github

shhyou

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    20
  • Global Rank 640,821 (Top 23 %)
  • Followers 80
  • Following 105
  • Registered over 12 years ago
  • Most used languages
    Racket
         44.4 %
    Haskell
         22.2 %
    C
         22.2 %
    OCaml
         11.1 %
  • Location 🇹🇼 Taiwan
  • Country Total Rank 3,167
  • Country Ranking
    Racket
         2
    OCaml
         8
    Haskell
         16
    C
         857

Top repositories

1

raco-test-with-errortrace

Invoke `raco test` with `errortrace` on
Racket
4
star
2

HaskellExercise

studying Haskell
Racket
3
star
3

compiler13hw

Haskell
3
star
4

chop-esop-supplementary

Supplementary Materials for Sound and Complete Higher-Order Concolic Testing
Racket
2
star
5

flolac-2018-ccs-pi

A Redex Model for the CCS and π-calculus Introduced in FLOLAC 2018
Racket
1
star
6

vm14hw2

Virtual Machine Homework 2, Spring 2014
C
1
star
7

llintr

little lambda interpreter
Haskell
1
star
8

vm14hw1

NTU Virtual Machine Homework 1 (Add shallow stack to QEMU 0.13)
C
1
star
9

itact14-xpeg

OCaml
1
star