sseefried
Functional programmer, cryptocurrency observer, and hobbyist games developer.
Seefried Software ServicesAustralia
Pinned Repositories
android-build-game-apk
A framework for building an Android APK for a game written in Haskell
billion-second-party
docker-build-ghc-android
A Dockerfile to build a GHC 7.8.3 ARM cross compiler for Android development
docker-epidemic-build-env
A Dockerfile to build a development environment for Android version of Epidemic.
docker-game-build-env
A Dockerfile to build a game development environment for Haskell on Android
doop
Haskell EDSL for Hadoop
js-good-parts
An AST data structure and pretty printer for "JavaScript: The Good Parts" in Haskell
learning-agda
Sean Seefried learns Agda
MacShady
Mac front-end for Shady
open-epidemic-game
A game about exponential growth written in Haskell
sseefried's Repositories
sseefried/learning-agda
Sean Seefried learns Agda
sseefried/agda-law-transfer
Law Transfer via homomorphism
sseefried/continuous-creativity
A log of all my creative projects
sseefried/html-resume
My CV
sseefried/inequality-denotational-hardware
An attempt to derive an efficient hardware circuit for inequality operations from a high-level specification
sseefried/lambdalog
Lambdalog - Sean Seefried's programming blog
sseefried/sseefried-blog
My blog, started in 2022
sseefried/sseefried-macosx-dotfiles
.bashrc and useful scripts
sseefried/sum-of-square-roots-close-to-integer
A program to find pairs of numbers whose square roots sum to something close to an integer
sseefried/2022-06-notional-coop
sseefried/agda
Agda is a dependently typed programming language / interactive theorem prover.
sseefried/agda-stdlib
The Agda standard library
sseefried/axelar-2022-04
Fork of Axelar repository for Code Arena audit contest
sseefried/c4-time-tracking
Time I've spent on C4 contests
sseefried/certora-tutorials
Practical tutorials of Certora Prover
sseefried/code423n4.com
code423n4.com source code
sseefried/codearena-2022-07-fractional
Fork of https://github.com/code-423n4/2022-07-fractional
sseefried/codearena-backd-2022-04
A fork of https://github.com/code-423n4/2022-04-backd
sseefried/codearena-rubicon-2022-05
Fork of https://github.com/code-423n4/2022-05-rubicon
sseefried/denotational-hardware
Denotational hardware design in Agda
sseefried/ethernaut-solutions
My solutions to https://ethernaut.openzeppelin.com/
sseefried/foundry-ethernaut-solutions
Solutions the ethernaut.openzeppelin.com in Foundry
sseefried/insomnia
Scripts to keep a Linux machine awake
sseefried/openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
sseefried/poly-markdown
Polymode for markdown-mode
sseefried/quotes-collection
A collection of quotes I like
sseefried/seaport
Seaport is a marketplace protocol for safely and efficiently buying and selling NFTs.
sseefried/solidity
Solidity, the Smart Contract Programming Language
sseefried/weekly-curiosities
My Weekly Curiosities newsletter
sseefried/xkeysnail
Yet another keyboard remapping tool for X environment