Skip to content
@StanfordPL

Stanford Programming Languages Group

Popular repositories Loading

  1. stoke stoke Public

    STOKE: A stochastic superoptimizer and program synthesizer

    C++ 765 75

  2. x64asm x64asm Public

    x86-64 assembler library

    C++ 481 63

  3. stoke-release stoke-release Public

    329 19

  4. strata strata Public

    Automatic inference of a formal specification of the x86_64 instruction set

    Assembly 69 12

  5. cpputil cpputil Public

    Miscellaneous utility code for c++ projects.

    C++ 18 5

  6. strata-data strata-data Public

    Experimental results of the strata project

    Assembly 9 3

Repositories

Showing 6 of 6 repositories
  • stoke Public

    STOKE: A stochastic superoptimizer and program synthesizer

    C++ 765 Apache-2.0 75 62 2 Updated Aug 14, 2023
  • x64asm Public

    x86-64 assembler library

    C++ 481 Apache-2.0 63 15 2 Updated Jan 15, 2021
  • cpputil Public

    Miscellaneous utility code for c++ projects.

    C++ 18 Apache-2.0 5 0 0 Updated Nov 4, 2018
  • strata Public

    Automatic inference of a formal specification of the x86_64 instruction set

    Assembly 69 Apache-2.0 12 1 0 Updated Apr 11, 2016
  • strata-data Public

    Experimental results of the strata project

    Assembly 9 3 0 0 Updated Apr 4, 2016
  • stoke-release Public
    329 19 0 0 Updated Feb 8, 2016

Top languages

C++ Assembly