Giters
Dmitry Malikov (dmalikov)

dmalikov

Geek Repo

153

followers

34

following

835

stars

Github PK Tool:Github PK Tool

Organizations
Anna-Rx
biegunka

Dmitry Malikov's repositories

dotfiles

biegunka scripts to keep various environments' configuration updated

Language:Vim ScriptLicense:BSD-3-ClauseStargazers:25Issues:3Issues:1

transmission-proxy

Language:HaskellLicense:MITStargazers:4Issues:2Issues:2

e

Express sensitive data inside text files in readable and compact way

Language:HaskellStargazers:3Issues:3Issues:0

advent-of-shame-2018

I'll drop tomorrow | s/::/:/g et voila!

Language:IdrisStargazers:1Issues:2Issues:0

awesome-advent-of-code

A collection of awesome resources related to the yearly Advent of Code challenge.

Language:PythonStargazers:1Issues:2Issues:0

bulls-and-cows

Implementation of Bulls and Cows game

Language:IdrisStargazers:1Issues:3Issues:0

cdb

Unofficial incomplete Azure Cosmos DB client

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

loh

[DEPRECATED] LastFMscrobbler on Haskell

Language:HaskellLicense:MITStargazers:1Issues:2Issues:7

bencoding

Serialization and deserealization of bencoded data used by bittorent protocol.

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

bindings-dsl

Library and macros to simplify writing Haskell FFI code

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

cabal2nix

Generate Nix build instructions from a Cabal file

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

CS410-17

being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

Language:AgdaStargazers:0Issues:2Issues:0

FSharpx.Collections

FSharpx.Collections is a collection of datastructures for use with F# and C#.

Language:F#License:NOASSERTIONStargazers:0Issues:2Issues:0

gentoo-haskell

official gentoo haskell overlay

Language:HaskellStargazers:0Issues:2Issues:0

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.

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

gipeda

Git Performance Dashboard

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

git-mulk-test-repo

Stargazers:0Issues:2Issues:0

Idris-dev

A Dependently Typed Functional Programming Language

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

idris-vim

Idris mode for vim

Language:Vim scriptStargazers:0Issues:2Issues:0

libgit2sharp

Git + .Net/Mono = ❤

Language:C#License:MITStargazers:0Issues:2Issues:0

logging-effect

A very general logging effect for Haskell

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

mtl-style-example

A small example of using mtl style to unit test effectful code

Language:HaskellLicense:ISCStargazers:0Issues:3Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:NOASSERTIONStargazers:0Issues:2Issues:0

parsers

Generic parser combinators

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

repro-shadowed-deps

repro for https://github.com/Gabriel439/haskell-nix/issues/56

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

RSA

Haskell RSA Library

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

tdd-idris

Working through Type-Driven Development with Idris

Language:IdrisStargazers:0Issues:2Issues:0

travis-cookbooks

Chef cookbooks collection used for Travis CI environment/VMs, worker machines and so on

Language:RubyLicense:MITStargazers:0Issues:2Issues:0

TypeDD-Samples

Sample code from "Type Driven Development with Idris"

Language:IdrisLicense:MITStargazers:0Issues:2Issues:0

vim-stylish-haskell

stylish-haskell vim plugin

Language:VimLStargazers:0Issues:3Issues:0