• Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language
    Haskell
  • Created over 10 years ago
  • Updated over 10 years ago

Reviews

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

Repository Details

Simply typed lambda calculus demo for Lambda Jam 2014

More Repositories

1

scala-machines

A stream processing library for Scala
Scala
212
star
2

Malakov

Markov Chains for Scala
Scala
87
star
3

scala-mset

Multisets for Scala
Scala
85
star
4

latr

A scala macro for reasonable lazy semantics
Scala
84
star
5

fpiscompanion

Companion booklet for "Functional Programming in Scala"
57
star
6

dice

A Scala library for rolling dice and analyzing probability distributions
Scala
36
star
7

ircz

Internet relay chat demo using scalaz-streams
Scala
33
star
8

scarpia

A Scala port of the Parsec parser combinator library
Scala
30
star
9

scala-bound

A library for developing languages with scoped binders (like forall or lambda).
Scala
28
star
10

fuzzyfind

A Haskell library for fuzzy text search
Haskell
16
star
11

slides

13
star
12

kex

Extensible protocols for Scala
Scala
13
star
13

conway

Conway's Game of Life using a memoized Store comonad
Haskell
11
star
14

unisonlibraries

A collection of libraries I've written for Unison
11
star
15

runarorama.github.com

HTML
9
star
16

Days2012

Code from the paper "Stackless Scala With Free Monads"
Scala
9
star
17

LambdaScript

A library for functional programming in Javascript
JavaScript
6
star
18

maxel

Maxel algebra for Haskell
Haskell
6
star
19

spellreviews

A blog about the mathematics of 5th edition Dungeons & Dragons
HTML
5
star
20

udb

Unison database library
3
star
21

sannanir

Coq
3
star
22

schnauzer

Scala ElasticSearch client and Query DSL
Scala
3
star
23

alt-names

A collection of alternate names for things in the Unison base libraries
3
star
24

ubase2

Unison base library development
2
star
25

mset

Rational multisets for Haskell
Haskell
1
star
26

Roll20

Roll20 API Scripts
JavaScript
1
star
27

scala-maxel

Maxel algebra for Scala
Scala
1
star
28

unisonlibs

1
star
29

meta-unison

Unison metaprogramming
1
star
30

jaccard

1
star
31

tuebz

A stream processing library for Haskell
Haskell
1
star
32

unison-base

Base library for Unison
1
star