Felix Springer (@jumper149)
github

jumper149

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    243
  • Global Rank 105,633 (Top 4 %)
  • Followers 20
  • Following 13
  • Registered over 6 years ago
  • Most used languages
    Haskell
         50.0 %
    Idris     25.0 %
    Python
         12.5 %
    Shell
         6.3 %
    C
         6.3 %
  • Location πŸ‡©πŸ‡ͺ Germany
  • Country Total Rank 5,373
  • Country Ranking
    Idris     9
    Haskell
         87
    Shell
         949
    Python
         1,235
    C
         2,001

Top repositories

1

blugon

simple and configurable Blue Light Filter for X
Python
129
star
2

xpm-status-icons

A set of Icons for any status bar
Shell
33
star
3

dotfiles

Dotfiles for my Linux-Systems
Python
26
star
4

i3lock-script

i3lock fork with option to execute script on failed authorization (unmaintained)
C
11
star
5

go

A Webserver for a Multiplayer Game
Haskell
7
star
6

deriving-trans

Derive Instances for Monad Transformer Stacks
Haskell
6
star
7

haskeme

Compiler from I- to S-Expressions for the Scheme Programming Language
Haskell
6
star
8

blucontrol

Configurable blue light filter
Haskell
5
star
9

monad-control-identity

Stronger classes than monad-control
Haskell
4
star
10

AoC2021

Idris
4
star
11

idris2-scientific

Numbers in scientific notation
Idris
4
star
12

homepage

Felix Springer's Homepage
Haskell
3
star
13

idris2-json

Idris JSON library
Idris
2
star
14

multitonal

Haskell library to compose multitonal music
Haskell
1
star
15

AoC2020

My solutions to the Advent of Code 2020 exercises
Idris
1
star
16

wai-control

Run wai Applications in IO based monads
Haskell
1
star