Discover @sseefried Open Source projects

Sean Seefried (@sseefried)

sseefried

Stars
230
Global Rank 110,399 (Top 4 %)
Followers 71
Following 6
Registered over 15 years ago
Most used languages

Haskell
33.9 %

JavaScript
15.3 %

Ruby
11.9 %

Shell
11.9 %

C
5.1 %

Agda 5.1 %

Python
3.4 %

HTML
1.7 %

CSS
1.7 %

Elm
1.7 %

PureScript 1.7 %

Isabelle 1.7 %

Objective-C
1.7 %

TeX
1.7 %

Emacs Lisp
1.7 %
Location 🇦🇺 Australia
Country Total Rank 1,901
Country Ranking

Agda 3

Isabelle 7

PureScript 20

Haskell
37

Elm
71

Shell
110

Emacs Lisp
143

TeX
370

Objective-C
594

Ruby
605

C
915

CSS
1,606

JavaScript
2,306

HTML
3,024

Python
3,685

docker-build-ghc-android

A Dockerfile to build a GHC 7.8.3 ARM cross compiler for Android development

open-epidemic-game

A game about exponential growth written in Haskell

docker-epidemic-build-env

A Dockerfile to build a development environment for Android version of Epidemic.

js-good-parts

An AST data structure and pretty printer for "JavaScript: The Good Parts" in Haskell

learning-agda

Sean Seefried learns Agda

docker-game-build-env

A Dockerfile to build a game development environment for Haskell on Android

c4-stats

A utility to mine the leaderboard stats of code4rena.com

android-build-game-apk

A framework for building an Android APK for a game written in Haskell

MacShady

Mac front-end for Shady

prefix-logger

An advanced logger for Ruby on Rails

doop

Haskell EDSL for Hadoop

generic-matrix-mult

Generalised Matrix Multiplication

excelaroo

shady-compile-js

Compiles Shady to JavaScript

play-space-online

Create and share PlaySpace effects online

th-for-blackdog

Template Haskell for a friend

sgl

SGL -- a minimal library for making WebGL easier to use

skim-note-collector

Collects notes from Skim documents and inserts them into a new Word document

gyruss-elm

A version of Gyruss in Elm

sseefried_textmate_bundle

Sean Seefried's TextMate Bundle

sseefried-blog

My blog, started in 2022

agda-law-transfer

Law Transfer via homomorphism

android-helm-test

accelerate-book

The Accelerate Book

excelarama

webgl-stackoverflow

Example code for a stack overflow question I want answered.

deriving-efficient-reverse

Deriving the efficient reverse algorithm in Haskell

continuous-creativity

A log of all my creative projects

state-monad-example

An example of a state monad

software-howto-journal

A journal of how to solve many problems I come across in software

html-resume

playspace-webgl

PlaySpace with WebGL

py-snake

Snake written in Python

myst-question-tree

gyruss-hs

Haskell version of Gyruss in Helm

sseefried-scripts

Sean Seefried's Productivity Scripts

odation

android-sms-to-txt

Pulls SMSes off a rooted Android phone and converts them to a text file

cairo-1.12.16-ios

Some modifications I made to Cairo to make it build on iOS

debruijn-replacement

Implementation of Functional Pearl "Using Circular Programs for Higher-Order Syntax"

billion-second-party

sseefried-macosx-dotfiles

.bashrc and useful scripts

mini-sharing-recovery

Sharing Recovery algorithm for upcoming paper

reciprocal

Some clever code for showing decimal expansion integer reciprocal in Haskell

shady-wiki-wikidata

The internal git repo for the shady-wiki

gyruss-purescript

Gyruss in Purescript

jqgrid-test

A test of the jqGrid plugin for jQuery

simple-ethereum-hack

Simple Ethereum Hack

js1k-love

My entry for the JS1K 2012 competition. Theme: Love.

AVScrubber

hippies-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 devices

georuby-postgres-proto

sseefried-git-prefs

Global git preferences that Sean Seefried uses.

lambdalog

Lambdalog - Sean Seefried's programming blog

inequality-denotational-hardware

An attempt to derive an efficient hardware circuit for inequality operations from a high-level specification

html-tv

Tangible values for HTML and Javascript

learning-rspec

funky-foto

relativistic

A small space game... with special relativity

task

A command line tool for recording time spend on tasks

sum-of-square-roots-close-to-integer

A program to find pairs of numbers whose square roots sum to something close to an integer

fp-syd-feb-2018

Material for a talk I gave in Feb 2018 at the FPSyd meetup

enforcing-flat-dp-in-accelerate

Showing how we will enforce flat data parallelism in Accelerate

compile-to-ccc-examples

Compiling Simply Type Lambda Calculus to Cartesian Closed Categories examples

concrete-semantics-solutions

Solutions to Tobias Nipkow and Gerwin Klein's "Concrete Semantics" text book