• Stars
    star
    1
  • Language
    Emacs Lisp
  • Created over 14 years ago
  • Updated over 2 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

.bashrc and useful scripts

More Repositories

1

docker-build-ghc-android

A Dockerfile to build a GHC 7.8.3 ARM cross compiler for Android development
Shell
58
star
2

open-epidemic-game

A game about exponential growth written in Haskell
Haskell
31
star
3

docker-epidemic-build-env

A Dockerfile to build a development environment for Android version of Epidemic.
Shell
30
star
4

js-good-parts

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

learning-agda

Sean Seefried learns Agda
Agda
8
star
6

docker-game-build-env

A Dockerfile to build a game development environment for Haskell on Android
Shell
4
star
7

c4-stats

A utility to mine the leaderboard stats of code4rena.com
Python
3
star
8

android-build-game-apk

A framework for building an Android APK for a game written in Haskell
C
3
star
9

MacShady

Mac front-end for Shady
Haskell
3
star
10

prefix-logger

An advanced logger for Ruby on Rails
Ruby
2
star
11

doop

Haskell EDSL for Hadoop
Haskell
2
star
12

generic-matrix-mult

Generalised Matrix Multiplication
Haskell
2
star
13

excelaroo

2
star
14

shady-compile-js

Compiles Shady to JavaScript
JavaScript
2
star
15

play-space-online

Create and share PlaySpace effects online
Haskell
2
star
16

th-for-blackdog

Template Haskell for a friend
Haskell
2
star
17

sgl

SGL -- a minimal library for making WebGL easier to use
JavaScript
2
star
18

skim-note-collector

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

gyruss-elm

A version of Gyruss in Elm
Elm
1
star
20

sseefried_textmate_bundle

Sean Seefried's TextMate Bundle
1
star
21

sseefried-blog

My blog, started in 2022
Agda
1
star
22

agda-law-transfer

Law Transfer via homomorphism
1
star
23

android-helm-test

Haskell
1
star
24

accelerate-book

The Accelerate Book
Shell
1
star
25

excelarama

Ruby
1
star
26

webgl-stackoverflow

Example code for a stack overflow question I want answered.
JavaScript
1
star
27

deriving-efficient-reverse

Deriving the efficient reverse algorithm in Haskell
Haskell
1
star
28

continuous-creativity

A log of all my creative projects
1
star
29

state-monad-example

An example of a state monad
Haskell
1
star
30

software-howto-journal

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

html-resume

My CV
HTML
1
star
32

playspace-webgl

PlaySpace with WebGL
JavaScript
1
star
33

py-snake

Snake written in Python
Python
1
star
34

myst-question-tree

CSS
1
star
35

gyruss-hs

Haskell version of Gyruss in Helm
Haskell
1
star
36

sseefried-scripts

Sean Seefried's Productivity Scripts
1
star
37

odation

travel app
Ruby
1
star
38

android-sms-to-txt

Pulls SMSes off a rooted Android phone and converts them to a text file
Ruby
1
star
39

cairo-1.12.16-ios

Some modifications I made to Cairo to make it build on iOS
C
1
star
40

debruijn-replacement

Implementation of Functional Pearl "Using Circular Programs for Higher-Order Syntax"
Haskell
1
star
41

billion-second-party

JavaScript
1
star
42

mini-sharing-recovery

Sharing Recovery algorithm for upcoming paper
Haskell
1
star
43

reciprocal

Some clever code for showing decimal expansion integer reciprocal in Haskell
Haskell
1
star
44

shady-wiki-wikidata

The internal git repo for the shady-wiki
1
star
45

gyruss-purescript

Gyruss in Purescript
PureScript
1
star
46

jqgrid-test

A test of the jqGrid plugin for jQuery
JavaScript
1
star
47

simple-ethereum-hack

Simple Ethereum Hack
Shell
1
star
48

js1k-love

My entry for the JS1K 2012 competition. Theme: Love.
Ruby
1
star
49

AVScrubber

XCode widget
Objective-C
1
star
50

hippies-say-the-darndest-things

Hippies Say the Darndest Things!
Shell
1
star
51

georuby-mysql-proto

JavaScript
1
star
52

android-build-epidemic-apk

A script to build an APK of Epidemic for Android devices
C
1
star
53

georuby-postgres-proto

Ruby
1
star
54

sseefried-git-prefs

Global git preferences that Sean Seefried uses.
Shell
1
star
55

lambdalog

Lambdalog - Sean Seefried's programming blog
Haskell
1
star
56

inequality-denotational-hardware

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

html-tv

Tangible values for HTML and Javascript
JavaScript
1
star
58

learning-rspec

Ruby
1
star
59

funky-foto

Funky Foto
Haskell
1
star
60

relativistic

A small space game... with special relativity
JavaScript
1
star
61

task

A command line tool for recording time spend on tasks
Haskell
1
star
62

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

A program to find pairs of numbers whose square roots sum to something close to an integer
Haskell
1
star
63

fp-syd-feb-2018

Material for a talk I gave in Feb 2018 at the FPSyd meetup
Haskell
1
star
64

enforcing-flat-dp-in-accelerate

Showing how we will enforce flat data parallelism in Accelerate
Haskell
1
star
65

compile-to-ccc-examples

Compiling Simply Type Lambda Calculus to Cartesian Closed Categories examples
Agda
1
star
66

concrete-semantics-solutions

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