Josef Svenningsson (@josefs)
github

josefs

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    640
  • Global Rank 45,474 (Top 2 %)
  • Followers 59
  • Following 8
  • Registered over 14 years ago
  • Most used languages
    Haskell
         76.9 %
    Erlang
         15.4 %
    C
         7.7 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 2,253
  • Country Ranking
    Erlang
         2
    Haskell
         150
    C
         4,487

Top repositories

1

Gradualizer

A Gradual type system for Erlang
Erlang
610
star
2

STMonadTrans

Haskell
10
star
3

DSL-tutorial

Haskell
6
star
4

CodeExtract

Haskell
3
star
5

erlang-mocking

Experiments with mocking libraries in Erlang
Erlang
2
star
6

LambdaQuoter

Haskell
1
star
7

scheme48

A scheme implementation
Haskell
1
star
8

deep-shallow-paper

Haskell
1
star
9

reify

Exporing various ways to do monadic reification
Haskell
1
star
10

LL

Linear Logic and Resource-Aware Functional Programming
Haskell
1
star
11

lte-benchmark-code

C
1
star
12

AbstractingDefinitionalInterpreters

A Haskell transliteration of the paper Abstracting Definitional Interpreters
Haskell
1
star
13

change-actions

Haskell
1
star