Rainer Reinhardt (@DoctorRyner)
github

DoctorRyner

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    71
  • Global Rank 266,236 (Top 10 %)
  • Followers 27
  • Following 17
  • Registered almost 8 years ago
  • Most used languages
    Idris     33.3 %
    Haskell
         25.0 %
    PureScript     8.3 %
    C#
         8.3 %
    Emacs Lisp
         8.3 %
    JavaScript
         8.3 %
    Rust
         8.3 %
  • Location 🇩🇪 Germany
  • Country Total Rank 13,312
  • Country Ranking
    Idris     5
    PureScript     17
    Haskell
         152
    Emacs Lisp
         421
    Rust
         1,157
    C#
         5,417

Top repositories

1

sae

An Idris 2 build tool and a package manager
Idris
28
star
2

miso-template

Minimalistic and an easy to use template for a miso project configured to be able to be compiled with both ghc and ghcjs
Haskell
12
star
3

gimel

A PureScript UI library built upon the react
PureScript
10
star
4

helix

Rust
8
star
5

idris-react-example

Idris
3
star
6

idris-gimel

Idris
3
star
7

idris-js-example

Idris
1
star
8

.doom.d

My private doom emacs configuration
Emacs Lisp
1
star
9

horoscopeScanner

JavaScript
1
star
10

dimension-gate

C#
1
star
11

miso-new-stack

Haskell
1
star
12

ryner-zsh-theme

1
star
13

miso-http

This library allows you to make simplest http requests, it is huge and requires rewriting
Haskell
1
star