• Stars
    star
    1
  • Language
    Python
  • Created almost 14 years ago
  • Updated almost 12 years ago

Reviews

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

Repository Details

Redis Proxy For Access Control

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

fpconf16

1
star
16

nix-config

Nix
1
star
17

yahoo_stocks

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

either

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

projecteuler

Code for solving Project Euler problems.
Scala
1
star
20

webfaction-django-fabric

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

unitop

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

okasaki

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

servant-schematic

Schematic integration layer for servant
Haskell
1
star
24

sublime_configuration

Sublime configuration folder
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