runarorama/sannanir

Stars
3
Rank 3,963,521 (Top 79 %)
Language Coq
Created over 11 years ago
Updated over 11 years ago

runarorama/sannanir

runarorama

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

scala-machines

A stream processing library for Scala

Malakov

Markov Chains for Scala

scala-mset

Multisets for Scala

latr

A scala macro for reasonable lazy semantics

fpiscompanion

Companion booklet for "Functional Programming in Scala"

dice

A Scala library for rolling dice and analyzing probability distributions

ircz

Internet relay chat demo using scalaz-streams

scarpia

A Scala port of the Parsec parser combinator library

scala-bound

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

fuzzyfind

A Haskell library for fuzzy text search

slides

kex

Extensible protocols for Scala

conway

Conway's Game of Life using a memoized Store comonad

unisonlibraries

A collection of libraries I've written for Unison

lambda

Simply typed lambda calculus demo for Lambda Jam 2014

runarorama.github.com

Days2012

Code from the paper "Stackless Scala With Free Monads"

LambdaScript

A library for functional programming in Javascript

maxel

Maxel algebra for Haskell

spellreviews

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

udb

Unison database library

schnauzer

Scala ElasticSearch client and Query DSL

alt-names

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

ubase2

Unison base library development

mset

Rational multisets for Haskell

Roll20

Roll20 API Scripts

scala-maxel

Maxel algebra for Scala

unisonlibs

meta-unison

Unison metaprogramming

jaccard

tuebz

A stream processing library for Haskell

unison-base

Base library for Unison