Dmitry Pogodin's repositories

codecov-haskell

codecov.io support for haskell code coverage with hpc

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

android-nixpkgs

Nix-packaged Android SDK

Language:NixLicense:MITStargazers:0Issues:0Issues:0

ardour

Mirror of Ardour Source Code

Language:C++License:GPL-2.0Stargazers:0Issues:2Issues:0

client

F-Droid client with Material UI.

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

dh-core

Functional data science

Language:HaskellStargazers:0Issues:3Issues:0
Language:SageLicense:NOASSERTIONStargazers:0Issues:1Issues:0

fast-style-transfer

TensorFlow CNN for fast style transfer ⚡🖥🎨🖼

Language:PythonStargazers:0Issues:3Issues:0

ghcide

A library for building Haskell IDE tooling

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:2Issues:0

gradle

Adaptable, fast automation for all

Language:GroovyLicense:Apache-2.0Stargazers:0Issues:3Issues:0

gradle-scalastyle-plugin

Gradle plugin for scalastyle

Language:GroovyStargazers:0Issues:3Issues:0

gradle2nix

Generate Nix expressions which build Gradle-based projects.

License:MITStargazers:0Issues:0Issues:0

haskell-ide-engine

The engine for haskell ide-integration. Not an IDE

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

haskell-language-server

Integration point for ghcide and haskell-ide-engine. One IDE to rule them all.

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:2Issues:0

homebrew-cask

A CLI workflow for the administration of Mac applications distributed as binaries

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

homebrew-core

🍻 Default formulae for the missing package manager for macOS

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

identity-samples

Multiple samples showing the best practices in identity on Android.

License:Apache-2.0Stargazers:0Issues:0Issues:0
Language:GroovyLicense:Apache-2.0Stargazers:0Issues:3Issues:0

jupyenv

Declarative and reproducible Jupyter environments - powered by Nix

Language:NixLicense:MITStargazers:0Issues:1Issues:0

nix-darwin

nix modules for darwin

Language:NixLicense:MITStargazers:0Issues:2Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:MITStargazers:0Issues:3Issues:0

nodebook

Repeatable analysis plugin for Jupyter notebook

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:0Issues:2Issues:0

pandoc

Universal markup converter

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

rust-cpace

A Rust implementation of CPace, a balanced PAKE.

Language:RustStargazers:0Issues:1Issues:0

spark-testing-base

Base classes to use when writing tests with Spark

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

sttp

The Scala HTTP client you always wanted!

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

terraform-aws-backup

Terraform module to provision AWS Backup, a fully managed backup service that makes it easy to centralize and automate the back up of data across AWS services such as EBS volumes, RDS databases, DynamoDB tables, EFS file systems, and AWS Storage Gateway volumes.

Language:HCLLicense:Apache-2.0Stargazers:0Issues:2Issues:0

toggl-tempo-sync

Imports Toggl entries into JIRA Tempo

Language:JavaScriptLicense:MITStargazers:0Issues:2Issues:0

unison

A friendly programming language from the future

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

ZKProofs.github.io

ZKProofs website

Stargazers:0Issues:1Issues:0