Jan S (@janschultecom)
github

janschultecom

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    33
  • Global Rank 456,718 (Top 16 %)
  • Followers 26
  • Following 35
  • Registered over 14 years ago
  • Most used languages
    Idris     44.4 %
    Scala
         33.3 %
    Shell
         11.1 %
    Haskell
         11.1 %
  • Location 🇩🇪 Germany
  • Country Total Rank 19,581
  • Country Ranking
    Idris     11
    Haskell
         203
    Scala
         211
    Shell
         5,404

Top repositories

1

akvokolekta

Akka streams extension
Scala
13
star
2

20181025-strongly-typed-martini

Haskell
9
star
3

fusing-tagless-free

Scala
2
star
4

docker-trifecta

Trifecta docker image
Shell
2
star
5

201811-munihac

Idris
1
star
6

seo-router

Idris
1
star
7

reviews-test

Scala
1
star
8

idris-examples

Idris
1
star
9

kolgut-api

Schema-safe http api using Idris+Rust
Idris
1
star