Stanford Programming Languages Group (@StanfordPL)
Guthub

StanfordPL

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,620
  • Global Org. Rank 11,061 (Top 4 %)
  • Registered over 9 years ago
  • Most used languages
    C++
         60.0 %
    Assembly
         40.0 %

Top repositories

1

stoke

STOKE: A stochastic superoptimizer and program synthesizer
C++
731
star
2

x64asm

x86-64 assembler library
C++
465
star
3

stoke-release

331
star
4

strata

Automatic inference of a formal specification of the x86_64 instruction set
Assembly
65
star
5

cpputil

Miscellaneous utility code for c++ projects.
C++
19
star
6

strata-data

Experimental results of the strata project
Assembly
9
star