@uw-unsat
Guthub

uw-unsat

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    401
  • Global Org. Rank 27,299 (Top 9 %)
  • Registered about 5 years ago
  • Most used languages
    Racket
         54.5 %
    C
         36.4 %
    Python
         9.1 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 18,117
  • Country Ranking
    Racket
         36
    C
         1,096

Top repositories

1

hyperkernel

C
181
star
2

jitterbug

Verification of BPF JIT compilers
C
52
star
3

serval

Racket
44
star
4

yggdrasil

Python
31
star
5

serval-sosp19

This repo contains the artifact for our SOSP'19 paper on Serval
Racket
28
star
6

jitsynth

Racket
16
star
7

exoverifier

C
15
star
8

serval-tutorial-sosp19

C
13
star
9

bpf-jit-verif

Racket
9
star
10

leanette-popl22-artifact

Racket
9
star
11

symfix-vmcai20

Racket
3
star