24 skills found
google / SouperA superoptimizer for LLVM IR
StanfordPL / StokeSTOKE: A stochastic superoptimizer and program synthesizer
jiazhihao / TASOThe Tensor Algebra SuperOptimizer for Deep Learning
slothy-optimizer / SlothyAssembly super-optimization via constraint solving
bollu / BlazeHaskell re-implementation of STOKE, the stochastic superoptimizer
AZHenley / SuperoptimizerA toy superoptimizer for a limited assembly language.
smartnic / SuperoptA superoptimizing compiler for packet-processing
TikhonJelvis / Array ForthA simple interpreter and superoptimizer for the F18A instruction set used by GreenArrays chips.
embecosm / Gnu SuperoptThe GNU Superoptimizer
embecosm / Gso2GNU Superoptimizer Version 2
jiazhihao / Attention SuperoptimizerAn Attention Superoptimizer
falk-hueffner / SematropeSuperoptimizer using the z3 SMT solver
mariaschett / SorgSuperOptimization based Rule Generation
wormtql / KanadeStochastic floating point superoptimization of ARM instructions
quantum-compiler / Quartz ArtifactArtifact for PLDI'22 paper Quartz: Superoptimization of Quantum Circuits
bonzini / SuperoptMy patches to the GNU superoptimizer
wuiw / STOKEA stochastic superoptimizer and program synthesizer
ilmenit / PhaistosA superoptimizer for 8bit processors
wormtql / MeguminAn AArch64 superoptimizer and emulator
darius / Bleaty The LambA superoptimizer for the lambda calculus
