There are no reviews yet. Be the first to send feedback to the community and the maintainers!
docker-build-ghc-android
A Dockerfile to build a GHC 7.8.3 ARM cross compiler for Android developmentopen-epidemic-game
A game about exponential growth written in Haskelldocker-epidemic-build-env
A Dockerfile to build a development environment for Android version of Epidemic.learning-agda
Sean Seefried learns Agdadocker-game-build-env
A Dockerfile to build a game development environment for Haskell on Androidc4-stats
A utility to mine the leaderboard stats of code4rena.comandroid-build-game-apk
A framework for building an Android APK for a game written in HaskellMacShady
Mac front-end for Shadyprefix-logger
An advanced logger for Ruby on Railsdoop
Haskell EDSL for Hadoopgeneric-matrix-mult
Generalised Matrix Multiplicationexcelaroo
shady-compile-js
Compiles Shady to JavaScriptplay-space-online
Create and share PlaySpace effects onlineth-for-blackdog
Template Haskell for a friendsgl
SGL -- a minimal library for making WebGL easier to useskim-note-collector
Collects notes from Skim documents and inserts them into a new Word documentgyruss-elm
A version of Gyruss in Elmsseefried_textmate_bundle
Sean Seefried's TextMate Bundlesseefried-blog
My blog, started in 2022agda-law-transfer
Law Transfer via homomorphismandroid-helm-test
accelerate-book
The Accelerate Bookexcelarama
webgl-stackoverflow
Example code for a stack overflow question I want answered.deriving-efficient-reverse
Deriving the efficient reverse algorithm in Haskellcontinuous-creativity
A log of all my creative projectsstate-monad-example
An example of a state monadsoftware-howto-journal
A journal of how to solve many problems I come across in softwarehtml-resume
My CVplayspace-webgl
PlaySpace with WebGLpy-snake
Snake written in Pythonmyst-question-tree
gyruss-hs
Haskell version of Gyruss in Helmsseefried-scripts
Sean Seefried's Productivity Scriptsodation
travel appandroid-sms-to-txt
Pulls SMSes off a rooted Android phone and converts them to a text filecairo-1.12.16-ios
Some modifications I made to Cairo to make it build on iOSdebruijn-replacement
Implementation of Functional Pearl "Using Circular Programs for Higher-Order Syntax"billion-second-party
sseefried-macosx-dotfiles
.bashrc and useful scriptsmini-sharing-recovery
Sharing Recovery algorithm for upcoming paperreciprocal
Some clever code for showing decimal expansion integer reciprocal in Haskellshady-wiki-wikidata
The internal git repo for the shady-wikigyruss-purescript
Gyruss in Purescriptjqgrid-test
A test of the jqGrid plugin for jQuerysimple-ethereum-hack
Simple Ethereum Hackjs1k-love
My entry for the JS1K 2012 competition. Theme: Love.AVScrubber
XCode widgethippies-say-the-darndest-things
Hippies Say the Darndest Things!georuby-mysql-proto
android-build-epidemic-apk
A script to build an APK of Epidemic for Android devicesgeoruby-postgres-proto
sseefried-git-prefs
Global git preferences that Sean Seefried uses.lambdalog
Lambdalog - Sean Seefried's programming bloginequality-denotational-hardware
An attempt to derive an efficient hardware circuit for inequality operations from a high-level specificationhtml-tv
Tangible values for HTML and Javascriptlearning-rspec
funky-foto
Funky Fotorelativistic
A small space game... with special relativitytask
A command line tool for recording time spend on taskssum-of-square-roots-close-to-integer
A program to find pairs of numbers whose square roots sum to something close to an integerfp-syd-feb-2018
Material for a talk I gave in Feb 2018 at the FPSyd meetupenforcing-flat-dp-in-accelerate
Showing how we will enforce flat data parallelism in Acceleratecompile-to-ccc-examples
Compiling Simply Type Lambda Calculus to Cartesian Closed Categories examplesconcrete-semantics-solutions
Solutions to Tobias Nipkow and Gerwin Klein's "Concrete Semantics" text bookLove Open Source and this site? Check out how you can help us