cmk Goto Github PK

icfp2016

Code from the 2016 ICFP Programming Contest

icfpc2018

Team Unagi's repository for ICFPC 2018

implicit-cf

ipld

ketamine

Single and multi-agent reinforcement learning.

lambda-calculus

It's easy to think that lambda calculus is not much more than a bizarre, impractical form of abstract math, but it is absolutely foundational to programming, not only providing a theoretical basis but also a rich set of simple, practical abstractions. Good abstractions are hard to come by; there seems to be an inverse relationship between simplicity and ease, so the plain but powerful lambda is an indispensable tool to the programmer.

lawz

Common mathematical laws

logfmt

magmas

midibox-seq-v4

MIDIbox SEQ V4 Build

monads-tutorial

nanocoin

A toy currency

nix-config

My local Nix configuration

nixos

nixOS config and setup

nixos-configuration

NixOS configuration

packcheck

Universal build and CI testing for Haskell packages

paip-lisp

Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

pearls

Pearls of Functional Algorithm Design by Richard Bird - Haskell Code

profunctor-arrows

profunctor-optics

proto-lens

API for protocol buffers using modern Haskell language and library patterns. This is not an official Google product.

pympc1000

Python module for loading, editing, and exporting MPC 1000 .pgm files

relational-alg

requests-for-research

A living collection of deep learning problems

rings

Semirings, rings, division rings, and modules.

rules_haskell_examples

Examples of using Bazel's Haskell rules.

smt-solving

BFPG talk on SMT solving in Haskell

spatial-math

haskell functions for 3d math including quaternions, euler angles, dcms, etc

subtyping

An implementation of structural subtyping of records and functions

tensile

High-level Haskell bindings for TensorFlow