Dmitry Malikov's repositories
advent-of-shame-2018
I'll drop tomorrow | s/::/:/g et voila!
Idris-dev
A Dependently Typed Functional Programming Language
awesome-advent-of-code
A collection of awesome resources related to the yearly Advent of Code challenge.
logging-effect
A very general logging effect for Haskell
repro-shadowed-deps
repro for https://github.com/Gabriel439/haskell-nix/issues/56
mtl-style-example
A small example of using mtl style to unit test effectful code
bencoding
Serialization and deserealization of bencoded data used by bittorent protocol.
bulls-and-cows
Implementation of Bulls and Cows game
CS410-17
being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde
bindings-dsl
Library and macros to simplify writing Haskell FFI code
parsers
Generic parser combinators
ghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
TypeDD-Samples
Sample code from "Type Driven Development with Idris"
tdd-idris
Working through Type-Driven Development with Idris
idris-vim
Idris mode for vim
RSA
Haskell RSA Library
cabal2nix
Generate Nix build instructions from a Cabal file
FSharpx.Collections
FSharpx.Collections is a collection of datastructures for use with F# and C#.
gipeda
Git Performance Dashboard
libgit2sharp
Git + .Net/Mono = ❤
vim-stylish-haskell
stylish-haskell vim plugin
gentoo-haskell
official gentoo haskell overlay
nixpkgs
Nix Packages collection
travis-cookbooks
Chef cookbooks collection used for Travis CI environment/VMs, worker machines and so on