• Stars
    star
    28
  • Rank 882,216 (Top 18 %)
  • Language
    Scala
  • License
    MIT License
  • Created over 11 years ago
  • Updated over 6 years ago

Reviews

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

Repository Details

A library for developing languages with scoped binders (like forall or lambda).

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

fuzzyfind

A Haskell library for fuzzy text search
Haskell
16
star
10

slides

13
star
11

kex

Extensible protocols for Scala
Scala
13
star
12

conway

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

unisonlibraries

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

lambda

Simply typed lambda calculus demo for Lambda Jam 2014
Haskell
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