cmk/dotfiles cmk/dotfiles

  • Stars
    star
    1
  • Language
    Ruby
  • Created almost 8 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
cmk/dotfiles
github

cmk

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

ante

Scala framework for PageRanking Soundcloud
HTML
25
star
2

HR-Haskell

Solutions to various Haskell problems on HackerRank For Work
Haskell
14
star
3

profunctor-optics

Haskell
11
star
4

lawz

Common mathematical laws
Haskell
8
star
5

rings

Semirings, rings, division rings, and modules.
Haskell
7
star
6

connections

A library for numerical conversions using Galois connections
Haskell
6
star
7

EPI-Scala

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

tensile

High-level Haskell bindings for TensorFlow
Haskell
2
star
9

EPI-Haskell

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

ketamine

Single and multi-agent reinforcement learning.
Haskell
2
star
11

implicit-cf

Haskell
1
star
12

ipld

Haskell
1
star
13

relational-alg

Haskell
1
star
14

icfp2016

Code from the 2016 ICFP Programming Contest
Haskell
1
star
15

magmas

Haskell
1
star
16

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.
HTML
1
star