Discover sseefried/concrete-semantics-solutions Open Source project

A game about exponential growth written in Haskell

open-epidemic-game

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

docker-epidemic-build-env

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

js-good-parts

Sean Seefried learns Agda

learning-agda

Agda

docker-game-build-env

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

A utility to mine the leaderboard stats of code4rena.com

c4-stats

Python

android-build-game-apk

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

MacShady

Mac front-end for Shady

An advanced logger for Ruby on Rails

prefix-logger

doop

Haskell EDSL for Hadoop

Generalised Matrix Multiplication

generic-matrix-mult

Compiles Shady to JavaScript

excelaroo

shady-compile-js

Create and share PlaySpace effects online

play-space-online

Template Haskell for a friend

th-for-blackdog

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

sgl

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

skim-note-collector

gyruss-elm

A version of Gyruss in Elm

Elm

sseefried_textmate_bundle

Sean Seefried's TextMate Bundle

sseefried-blog

My blog, started in 2022

Agda

agda-law-transfer

Law Transfer via homomorphism

android-helm-test

accelerate-book

excelarama

webgl-stackoverflow

Example code for a stack overflow question I want answered.

Deriving the efficient reverse algorithm in Haskell

deriving-efficient-reverse

A log of all my creative projects

continuous-creativity

state-monad-example

An example of a state monad

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

software-howto-journal

html-resume

playspace-webgl

py-snake

Snake written in Python

Python

myst-question-tree

CSS

gyruss-hs

Haskell version of Gyruss in Helm

Sean Seefried's Productivity Scripts

sseefried-scripts

odation

travel app

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

android-sms-to-txt

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

cairo-1.12.16-ios

debruijn-replacement

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

billion-second-party

.bashrc and useful scripts

sseefried-macosx-dotfiles

Emacs Lisp

mini-sharing-recovery

Sharing Recovery algorithm for upcoming paper

Some clever code for showing decimal expansion integer reciprocal in Haskell

reciprocal

The internal git repo for the shady-wiki

shady-wiki-wikidata

gyruss-purescript

Gyruss in Purescript

PureScript

jqgrid-test

A test of the jqGrid plugin for jQuery

simple-ethereum-hack

Simple Ethereum Hack

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

js1k-love

Hippies Say the Darndest Things!

AVScrubber

XCode widget

Objective-C

hippies-say-the-darndest-things

georuby-mysql-proto

A script to build an APK of Epidemic for Android devices

android-build-epidemic-apk

georuby-postgres-proto

Global git preferences that Sean Seefried uses.

sseefried-git-prefs

Lambdalog - Sean Seefried's programming blog

lambdalog

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

inequality-denotational-hardware

TeX

html-tv

Tangible values for HTML and Javascript

learning-rspec

funky-foto

relativistic

A small space game... with special relativity

A command line tool for recording time spend on tasks

task

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

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

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

fp-syd-feb-2018

Showing how we will enforce flat data parallelism in Accelerate

enforcing-flat-dp-in-accelerate