Rúnar (@runarorama)
  • Stars
    star
    822
  • Global Rank 36,952 (Top 2 %)
  • Followers 739
  • Following 11
  • Registered about 15 years ago
  • Most used languages
    Scala
    52.2 %
    Haskell
    26.1 %
    HTML
    8.7 %
    JavaScript
    8.7 %
    Coq
    4.3 %
  • Location 🇺🇸 United States
  • Country Total Rank 10,173
  • Country Ranking
    Scala
    77
    Coq
    131
    Haskell
    388
    HTML
    7,017

Top 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

lambda

Simply typed lambda calculus demo for Lambda Jam 2014
Haskell
11
star
16

runarorama.github.com

HTML
9
star
17

Days2012

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

LambdaScript

A library for functional programming in Javascript
JavaScript
6
star
19

maxel

Maxel algebra for Haskell
Haskell
6
star
20

spellreviews

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

udb

Unison database library
3
star
22

sannanir

Coq
3
star
23

schnauzer

Scala ElasticSearch client and Query DSL
Scala
3
star
24

alt-names

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

ubase2

Unison base library development
2
star
26

mset

Rational multisets for Haskell
Haskell
1
star
27

Roll20

Roll20 API Scripts
JavaScript
1
star
28

scala-maxel

Maxel algebra for Scala
Scala
1
star
29

unisonlibs

1
star
30

meta-unison

Unison metaprogramming
1
star
31

jaccard

1
star
32

tuebz

A stream processing library for Haskell
Haskell
1
star
33

unison-base

Base library for Unison
1
star