Pinned Repositories
book
Web browser engineering (a book)
calculate_energy
dotfiles
My normal environment setup
egg
egg is a flexible, high-performance e-graph library
explorations
Random miniprojects
fp_rebuttal
FPBench
A standard for floating point accuracy benchmarks
haploid
SMT Preprocessing via EqSat
megalibm
OpTuner
IanBriggs's Repositories
IanBriggs/mul_hi_lo_experiment
testing whether the mulhi and mullo operations can be used for SDC detection
IanBriggs/paip-python
Peter Norvig's Paradigms of AI Programming implemented in Python
IanBriggs/playing_with_smack
IanBriggs/poster_gelpia_2015
IanBriggs/VLSI_flappy