Repositories list

• stoke

  Public
  STOKE: A stochastic superoptimizer and program synthesizer

  C++

  •

  Apache License 2.0

  •75•744•61•2•Updated Aug 14, 2023Aug 14, 2023

• x64asm

  Public
  x86-64 assembler library

  C++

  •

  Apache License 2.0

  •61•470•15•2•Updated Jan 15, 2021Jan 15, 2021

• cpputil

  Public
  Miscellaneous utility code for c++ projects.

  C++

  •

  Apache License 2.0

  •5•19•0•0•Updated Nov 4, 2018Nov 4, 2018

• strata

  Public
  Automatic inference of a formal specification of the x86_64 instruction set

  Assembly

  •

  Apache License 2.0

  •12•66•1•0•Updated Apr 11, 2016Apr 11, 2016

• strata-data

  Public
  Experimental results of the strata project

  Assembly

  •3•9•0•0•Updated Apr 4, 2016Apr 4, 2016

• stoke-release

  Public
  19•329•0•0•Updated Feb 8, 2016Feb 8, 2016