Pinned Repositories
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
secp256k1
Optimized C library for EC operations on curve secp256k1
cryptominisat
An advanced SAT solver
DecisionDiagrams
A performant and ergonomic implementation of binary decision diagrams for .NET
easing-utils
Easing functions for Javascript that take a number from 0 to 1 and return the eased value
eqntott
Automatically exported from code.google.com/p/eqntott
EspressoWin
Espresso heuristic logic minimizer made C++20 Windows 10 compatible - University of California, Berkeley
logic-synthesis
Logic synthesis system from UC Berkeley
NVIDIA
secp256k1-systemverlog-fpga
Zcash FPGA acceleration engine
PeterMacGonagan's Repositories
PeterMacGonagan/DecisionDiagrams
A performant and ergonomic implementation of binary decision diagrams for .NET
PeterMacGonagan/easing-utils
Easing functions for Javascript that take a number from 0 to 1 and return the eased value
PeterMacGonagan/eqntott
Automatically exported from code.google.com/p/eqntott
PeterMacGonagan/EspressoWin
Espresso heuristic logic minimizer made C++20 Windows 10 compatible - University of California, Berkeley
PeterMacGonagan/logic-synthesis
Logic synthesis system from UC Berkeley
PeterMacGonagan/NVIDIA
PeterMacGonagan/secp256k1-systemverlog-fpga
Zcash FPGA acceleration engine