• Stars
    star
    4
  • Rank 3,237,053 (Top 65 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 5 years ago
  • Updated almost 2 years ago

Reviews

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

Repository Details

A proof-assistant for Possibility Storm-style problems for Magic: The Gathering

More Repositories

1

enki

A Ruby on Rails blogging app for the fashionable developer. It's better than Mephisto or SimpleLog
Ruby
819
star
2

rspec-fire

Obsolete - use verifying doubles in RSpec 3
Ruby
362
star
3

tufte-graph

a jQuery plugin that makes pretty bar charts
JavaScript
236
star
4

kronic

A dirt simple library for parsing and formatting human readable dates
Ruby
151
star
5

poniard

A dependency injector for Rails for writing clean controllers.
Ruby
112
star
6

db2s3

A rails plugin to backup Mysql to Amazon S3
Ruby
69
star
7

node-amqp

AMQP client for nodejs
JavaScript
52
star
8

consul-client

Ruby client gem for Consul HTTP API.
Ruby
43
star
9

jquery-enumerable

The only fully tested and API consistent enumerable plugin for jQuery (collect, inject and friends)
JavaScript
41
star
10

socialbeat

A proof of concept social crowd beat visualization thing, inspired by Giles Bowkett's RubyFringe talk.
Ruby
21
star
11

classifier

Classifier is a general module to allow Bayesian and other types of classifications.
Ruby
20
star
12

rust-puzzlefighter

A puzzle fighter/swordfighting clone.
Rust
19
star
13

kamel

Create KML files for tasty overlays on google earth and google maps
Ruby
18
star
14

writing

bits of writing
Ruby
16
star
15

haskell-servant-react-auth-example

Haskell
15
star
16

xtdo

Damnit, todo list MY WAY
Ruby
15
star
17

lesstile

Converts text formatted with an exceedingly simple markup language into HTML - perfect for comments on your blog.
Ruby
15
star
18

sandbox

Random bits and pieces
JavaScript
14
star
19

nytimes-slider

The hottest implementation of the nytimes slider you ever did see
JavaScript
14
star
20

dotfiles

My dotfiles
Perl
11
star
21

outage-party

The only incident response plan you'll ever need.
HTML
9
star
22

curlophone-orchestra

Uses bonjour to play a great symphony across many computers
Ruby
9
star
23

dominion-solitaire

An ncurses Dominion implementation with a focus on lightning quick goldfishing.
Ruby
9
star
24

xspec

XSpec is an rspec-inspired testing library that is written in a literate style and designed to be obvious to use, highly modular, and easy to extend. A concept piece.
Ruby
8
star
25

mnemonicker-wordlist

Lists of words.
7
star
26

sheets

Various Lilypond scores I have need for
LilyPond
7
star
27

gnucash2ledger

Convert GnuCash files to a format supported by the ledger command line application
Ruby
7
star
28

nested-attributes-demo

An example of how to use nested attributes with rails 3
Ruby
7
star
29

dm-checked-types

CHECK constraints and validations for your models
Ruby
6
star
30

factorio-layout-designer

JavaScript
6
star
31

buildhawk

Historical information about your build, on a webpage!
Ruby
6
star
32

factorio-hs

Haskell library for working with Factorio data
Haskell
5
star
33

node-amqp-ragel

Node AMQP client that uses a ragel parser in a C extension. Doesn't work.
JavaScript
4
star
34

failtrain

Ruby
4
star
35

jruby-guice

Example app showing how to wire up Ruby classes with Google Guice.
Ruby
4
star
36

vegeinfo

Most pro-vege websites are shit, so I'm trying to make a better one
JavaScript
4
star
37

vitamin-vcv-modules

Assorted VCV Rack modules
C++
4
star
38

mtg-bench

Scala implementation of Magic The Gathering rules, geared towards algorithmic training
Scala
3
star
39

xtdo-hs

Haskell port of xtdo
Haskell
3
star
40

mnemonicker

An aid for remembering numbers
Ruby
3
star
41

veganmelb

Vegan. In Melbourne. Yeah!
JavaScript
3
star
42

roborabb

present for my bro
Ruby
3
star
43

consul-fs

Proof-of-concept fuse adapter for Consul KV store.
Ruby
3
star
44

enki-vim

Publish to enki with VIM. That's pretty neat.
Ruby
3
star
45

project-euler

Literate Haskell solutions to Project Euler
Haskell
3
star
46

nom

command line access to ausnom.com
Ruby
2
star
47

vegan-month

Vegan Month home page
HTML
2
star
48

project-hoff

HOFF
Ruby
2
star
49

blog-v2

Ruby
2
star
50

enki-website

Main page for enki
Ruby
2
star
51

babushka-deps

My deps for babushka
Ruby
2
star
52

reader

venus, with my config
Python
2
star
53

gust

ruby gist clone on top of plain rack
Ruby
2
star
54

singing

I'm learning to sing
2
star
55

card_game

Random Ruby utility libraries for modeling card games
Ruby
2
star
56

mit-advanced-ds

http://courses.csail.mit.edu/6.851/spring12/index.html
Ruby
2
star
57

rhnh

My blog - a fork of enki
Ruby
1
star
58

rack-my-id

An OpenID provider that does very little
Ruby
1
star
59

xaviershay.com

My home page
HTML
1
star
60

voxels-bench

Rust
1
star
61

mtg-bench-ruby

algorithmic training for MtG
Ruby
1
star
62

clear-menulet

A menulet that tells you when the CLEAR grain exchange is open, with growl notifications
1
star
63

aasm-presentation

Lightning talk for #roro
1
star
64

ori-tracker

C#
1
star
65

ausnom

Nutritional data of foods, as released by FSANZ
Ruby
1
star
66

cryptopals-solutions

Haskell
1
star
67

snes-game

Assembly
1
star
68

ludum-dare-35

PureScript
1
star
69

cibass

It's a CI server which doesn't work yet.
Ruby
1
star
70

mopus-gagnum

Haskell
1
star
71

pacebot

A bot to hang out in slack channels where runners frequent.
JavaScript
1
star
72

licross

crossword game
Haskell
1
star
73

factorio-solver-ui

hella wip
JavaScript
1
star
74

dm-nested-transactions

Adds nested transaction support to DataMapper
Ruby
1
star
75

scribebot

Quick and dirty slackbot for remembering things
Ruby
1
star
76

minisculus

a challenge!
Ruby
1
star
77

pacecalculator

http://pacecalculator.herokuapp.com
JavaScript
1
star
78

legendary-bench

Haskell
1
star
79

hrange

An experimental haskell implementation of the range query language.
Haskell
1
star
80

alien-parade

Aliens on parade! Flocking + gosu.
Ruby
1
star