Discover @cmk Open Source projects

Chris McKinlay (@cmk)

cmk

Stars
91
Global Rank 222,433 (Top 8 %)
Followers 73
Following 3
Registered over 10 years ago
Most used languages

Haskell
76.5 %

HTML
11.8 %

Scala
5.9 %

Ruby
5.9 %
Location 🇺🇸 United States
Country Total Rank 47,030
Country Ranking

Haskell
338

Scala
1,648

HTML
4,492

ante

Scala framework for PageRanking Soundcloud

HR-Haskell

Solutions to various Haskell problems on HackerRank For Work

profunctor-optics

lawz

Common mathematical laws

rings

Semirings, rings, division rings, and modules.

connections

A library for numerical conversions using Galois connections

EPI-Scala

Scala solutions to Aziz et al's Elements of Programming Interviews

tensile

High-level Haskell bindings for TensorFlow

EPI-Haskell

Haskell solutions to Aziz et al's Elements of Programming Interviews

ketamine

Single and multi-agent reinforcement learning.

implicit-cf

ipld

dotfiles

relational-alg

icfp2016

Code from the 2016 ICFP Programming Contest

magmas

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.