Paul Heymann (@pheymann)
github

pheymann

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    295
  • Global Rank 90,261 (Top 4 %)
  • Followers 30
  • Following 2
  • Registered about 9 years ago
  • Most used languages
    Scala
         75.0 %
    Idris     12.5 %
    JavaScript
         12.5 %
  • Location πŸ‡©πŸ‡ͺ Germany
  • Country Total Rank 4,577
  • Country Ranking
    Idris     2
    Scala
         38
    JavaScript
         2,459

Top repositories

1

typedapi

Build your web API on the type level.
Scala
161
star
2

specdris

A test framework for Idris
Idris
56
star
3

scala-reveal-js

Build reveal.js presentations in Scala
JavaScript
45
star
4

meetup-with-functions-and-monads-into-the-rabbit-hole

Meetup talk from 07.09.2017 for 'Scala Hamburg'
Scala
11
star
5

scala.bft

Parallel Byzantine Fault Tolerance (R&D)
Scala
10
star
6

artie

Scala test-framework for REST service refactorings
Scala
9
star
7

rest-refactoring-test

Create small and simple refactoring tests for your REST service
Scala
2
star
8

investment-library

Library to script your investment plans
Scala
1
star