• Stars
    star
    1
  • Language
    JavaScript
  • Created about 13 years ago
  • Updated over 12 years ago

Reviews

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

Repository Details

Tangible values for HTML and Javascript

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

sseefried-macosx-dotfiles

.bashrc and useful scripts
Emacs Lisp
1
star
43

mini-sharing-recovery

Sharing Recovery algorithm for upcoming paper
Haskell
1
star
44

reciprocal

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

shady-wiki-wikidata

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

gyruss-purescript

Gyruss in Purescript
PureScript
1
star
47

jqgrid-test

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

simple-ethereum-hack

Simple Ethereum Hack
Shell
1
star
49

js1k-love

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

AVScrubber

XCode widget
Objective-C
1
star
51

hippies-say-the-darndest-things

Hippies Say the Darndest Things!
Shell
1
star
52

georuby-mysql-proto

JavaScript
1
star
53

android-build-epidemic-apk

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

georuby-postgres-proto

Ruby
1
star
55

sseefried-git-prefs

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

lambdalog

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

inequality-denotational-hardware

An attempt to derive an efficient hardware circuit for inequality operations from a high-level specification
TeX
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