Sean Seefried's repositories
learning-agda
Sean Seefried learns Agda
agda-law-transfer
Law Transfer via homomorphism
continuous-creativity
A log of all my creative projects
html-resume
My CV
inequality-denotational-hardware
An attempt to derive an efficient hardware circuit for inequality operations from a high-level specification
sseefried-blog
My blog, started in 2022
sseefried-macosx-dotfiles
.bashrc and useful scripts
sum-of-square-roots-close-to-integer
A program to find pairs of numbers whose square roots sum to something close to an integer
agda-stdlib
The Agda standard library
axelar-2022-04
Fork of Axelar repository for Code Arena audit contest
c4-time-tracking
Time I've spent on C4 contests
certora-tutorials
Practical tutorials of Certora Prover
code423n4.com
code423n4.com source code
codearena-2022-07-fractional
Fork of https://github.com/code-423n4/2022-07-fractional
codearena-backd-2022-04
A fork of https://github.com/code-423n4/2022-04-backd
codearena-rubicon-2022-05
Fork of https://github.com/code-423n4/2022-05-rubicon
denotational-hardware
Denotational hardware design in Agda
ethernaut-solutions
My solutions to https://ethernaut.openzeppelin.com/
foundry-ethernaut-solutions
Solutions the ethernaut.openzeppelin.com in Foundry
openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
poly-markdown
Polymode for markdown-mode
quotes-collection
A collection of quotes I like
weekly-curiosities
My Weekly Curiosities newsletter