dredozubov/mtheory

Stars
2
Language Coq
Created over 8 years ago
Updated over 8 years ago

dredozubov/mtheory

dredozubov

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

An attempt to formalize some of western music theory

polyrhythmix

Polyrhythmically-inclinded Midi Drum generator

sax-parser

Monadic streaming XML parser

servant-rust

Rust client code generator for the servant webservices

dhall-default

Generate records with optional fields with types

hello-servant

Ridiculous cat roster

sf

Software foundation exercises

hreader-lens

A collection of optics for the hreader library

fcat

Verified smart-contracts language based on Cat

fby16

Slides for my talk: "How to sell FP?"

pollster

Poll application written in ruby/sinatra

pythonchallenge

solving www.pythonchallenge.com

tracy

Convenience wrappers for Debug.Trace.

octoblog

private fork of octopress

fpconf16

nix-config

yahoo_stocks

Nice, fluffy and rubiesque "Yahoo! Finance" client

either

Dead simple error context framework aka Either monad.

projecteuler

Code for solving Project Euler problems.

webfaction-django-fabric

fabric deployment script which i use on webfaction

unitop

Friendly wrapper for sys-proctable, configurable on per-project basis.

okasaki

Principled approach to exercises from "Purely Functional Data Structures" by Chris Okasaki

servant-schematic

Schematic integration layer for servant

sublime_configuration

Sublime configuration folder

rpac

Redis Proxy For Access Control

dotfiles

my setting files, that's all

rotary

Generic pool with pluggable backends for external storage.