Discover @dredozubov Open Source projects

Denis Redozubov (@dredozubov)

dredozubov

Stars
331
Global Rank 82,176 (Top 3 %)
Followers 61
Following 18
Registered about 15 years ago
Most used languages

Haskell
33.3 %

Ruby
16.7 %

Python
16.7 %

Coq 12.5 %

CSS
8.3 %

Rust
4.2 %

Scala
4.2 %

Nix
4.2 %

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

mtheory

An attempt to formalize some of western music theory

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.