Stanford Programming Languages Group (StanfordPL)

Stanford Programming Languages Group

StanfordPL

Geek Repo

Github PK Tool:Github PK Tool

Stanford Programming Languages Group's repositories

stoke

STOKE: A stochastic superoptimizer and program synthesizer

Language:C++License:Apache-2.0Stargazers:726Issues:39Issues:999

x64asm

x86-64 assembler library

Language:C++License:Apache-2.0Stargazers:465Issues:30Issues:237

strata

Automatic inference of a formal specification of the x86_64 instruction set

Language:AssemblyLicense:Apache-2.0Stargazers:65Issues:12Issues:4

cpputil

Miscellaneous utility code for c++ projects.

Language:C++License:Apache-2.0Stargazers:19Issues:11Issues:39

strata-data

Experimental results of the strata project