meiersi

awesome-deep-learning-papers

The most cited deep learning papers

yoga

Yoga is an embeddable layout engine targeting web standards.

kubo

An IPFS implementation in Go

vim-surround

surround.vim: Delete/change/add parentheses/quotes/XML-tags/much more with ease

nix

Nix, the purely functional package manager

buck

A fast build system that encourages the creation of small, reusable modules over a variety of platforms and languages.

unison

A friendly programming language from the future

eta

The Eta Programming Language, a dialect of Haskell on the JVM

bond

Bond is a cross-platform framework for working with schematized data. It supports cross-language de/serialization and powerful generic mechanisms for efficiently manipulating data. Bond is broadly used at Microsoft in high scale services.

pfff

Tools for code analysis, visualizations, or style-preserving source transformation.

lean3

Lean Theorem Prover

haste-compiler

A GHC-based Haskell to JavaScript compiler

nn

specs

Technical specifications for the IPFS protocol stack

kafka-web-console

A web console for Apache Kafka (retired)

noise_spec

Noise Specification

haskell-ci

Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations

subhask

Type safe interface for working in subcategories of Hask

react-haskell

React bindings for Haskell

full-fledged-hledger

Tutorial on Hledger setup with multi-year files, multi-source imports and a range of auto-generated reports

Frames

Data frames for tabular data.

haskell-papers-ereader

Haskell papers optimized for my e-reader.

docker-devenv

Docker based development environment

hadron

Construct and run Hadoop MapReduce programs in Haskell

Workflow

re-startable monad that recover the execution state from a log, and workflow patterns

hashabler

A haskell library for principled, cross-platform & extensible hashing of types, including an implementation of the FNV-1a algorithm.

gatekeeper

Distributed CRDT based RFID door authentication system with LDAP based users

oopth

[DEAD] Out Of Process Template Haskell

svm_sgd_haskell

Machine Learning algorithms (Support Vector Machine, Logistic Regression, etc.) based on Stochastic Gradient Descent approximation.

tamarin-prover

Main source code repository of the Tamarin prover for security protocol verification.