Denis Redozubov (dredozubov)

dredozubov

Geek Repo

Github PK Tool:Github PK Tool


Organizations
dpndnt
Eviterra
haskell-servant
ruHaskell

Denis Redozubov's repositories

servant-rust

Rust client code generator for the servant webservices

Language:HaskellLicense:BSD-3-ClauseStargazers:6Issues:3Issues:0

hello-servant

Ridiculous cat roster

Language:HaskellLicense:NOASSERTIONStargazers:3Issues:4Issues:0

sf

Software foundation exercises

Language:CoqStargazers:3Issues:3Issues:0

mtheory

An attempt to formalize some of western music theory

Language:CoqStargazers:2Issues:0Issues:0
Stargazers:1Issues:0Issues:0

ansible-jenkins

Ansible playbook: Jenkins

Language:GroovyLicense:MITStargazers:0Issues:0Issues:0

awesome-haskell

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

Stargazers:0Issues:0Issues:0

broken-instances-minimal

Trying to recreate "orphan instances" problem from the work project

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:3Issues:0

cabal

Official upstream development repository for Cabal and cabal-install

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

cryptonite

lowlevel set of cryptographic primitives for haskell

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

dash-haskell

dash docset builder for Haskell packages and cabal project dependencies

Language:HaskellLicense:LGPL-3.0Stargazers:0Issues:0Issues:0

hask

Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

haskell-emacs

Write Emacs extensions in Haskell

Language:HaskellStargazers:0Issues:0Issues:0

haskell-mode

Emacs mode for Haskell

Language:Emacs LispStargazers:0Issues:0Issues:0
Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

hs-bcrypt

Haskell bindings for bcrypt

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

http-api-data

Converting to/from HTTP API data like URL pieces, headers and query parameters.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

http-types

Generic HTTP types for Haskell (for both client and server code)

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

liquidhaskell

Liquid Types For Haskell

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

mandrill

Pure Haskell client for the Mandrill JSON API

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

megaparsec-site

Site of Megaparsec project that provides educational materials

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

neat-interpolation

A quasiquoter for neat and simple multiline text interpolation

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

shake-hello

Introduction to haskell/shake

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

simple_token_authentication

Simple (but safe) token authentication for Rails apps or API with Devise.

Language:RubyLicense:GPL-3.0Stargazers:0Issues:0Issues:0

sqitch

Sane database change management

Language:PerlStargazers:0Issues:0Issues:0

stack

The Haskell Tool Stack

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

twitter-types

This library treats the Twitter JSON API in the Haskell way.

Language:HaskellLicense:BSD-2-ClauseStargazers:0Issues:3Issues:0

wiwinwlh

What I Wish I Knew When Learning Haskell

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0