• Stars
    star
    1
  • Language
  • Created about 8 years ago
  • Updated about 8 years ago

Reviews

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

Repository Details

More Repositories

1

polyrhythmix

Polyrhythmically-inclinded Midi Drum generator
Rust
265
star
2

sax-parser

Monadic streaming XML parser
Haskell
7
star
3

servant-rust

Rust client code generator for the servant webservices
Haskell
6
star
4

dhall-default

Generate records with optional fields with types
Haskell
4
star
5

hello-servant

Ridiculous cat roster
Haskell
3
star
6

sf

Software foundation exercises
Coq
3
star
7

mtheory

An attempt to formalize some of western music theory
Coq
2
star
8

hreader-lens

A collection of optics for the hreader library
Haskell
2
star
9

fcat

Verified smart-contracts language based on Cat
Coq
2
star
10

fby16

Slides for my talk: "How to sell FP?"
2
star
11

pollster

Poll application written in ruby/sinatra
CSS
1
star
12

pythonchallenge

solving www.pythonchallenge.com
Python
1
star
13

tracy

Convenience wrappers for Debug.Trace.
Haskell
1
star
14

octoblog

private fork of octopress
CSS
1
star
15

nix-config

Nix
1
star
16

yahoo_stocks

Nice, fluffy and rubiesque "Yahoo! Finance" client
Ruby
1
star
17

either

Dead simple error context framework aka Either monad.
Ruby
1
star
18

projecteuler

Code for solving Project Euler problems.
Scala
1
star
19

webfaction-django-fabric

fabric deployment script which i use on webfaction
Python
1
star
20

unitop

Friendly wrapper for sys-proctable, configurable on per-project basis.
Ruby
1
star
21

okasaki

Principled approach to exercises from "Purely Functional Data Structures" by Chris Okasaki
Haskell
1
star
22

servant-schematic

Schematic integration layer for servant
Haskell
1
star
23

sublime_configuration

Sublime configuration folder
1
star
24

rpac

Redis Proxy For Access Control
Python
1
star
25

dotfiles

my setting files, that's all
Python
1
star
26

rotary

Generic pool with pluggable backends for external storage.
Ruby
1
star