Ertugrul Söylemez (@esoeylemez)
github

esoeylemez

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    216
  • Global Rank 116,019 (Top 4 %)
  • Followers 39
  • Following 4
  • Registered over 9 years ago
  • Most used languages
    Haskell
         93.8 %
    Agda     6.3 %
  • Location 🇩🇪 Germany
  • Country Total Rank 5,928
  • Country Ranking
    Agda     18
    Haskell
         18

Top repositories

1

netwire

FRP library
Haskell
59
star
2

rapid

Rapid prototyping with GHCi
Haskell
55
star
3

wires

FRP library
Haskell
39
star
4

foreign-store

Store a stable pointer in a foreign context to be retrieved later. Persists through GHCi reloads.
Haskell
29
star
5

progress-meter

Live diagnostics for concurrent activity
Haskell
11
star
6

predictive

Predict the future, backtrack on failure
Haskell
6
star
7

snippets

Haskell
3
star
8

rapid-term

External terminal support for rapid
Haskell
3
star
9

codebreakers-2017

Haskell
2
star
10

agda-simple

My own base library + algebra research
Agda
2
star
11

skeleton

My skeleton project
Haskell
2
star
12

stimpak

FRP implementation
Haskell
1
star
13

vector-rope

Vectors with efficient appends and updates
Haskell
1
star
14

codebreakers

Dateien des Codebreakers-Workshops
Haskell
1
star
15

tutorials

Tutorials
Haskell
1
star
16

haskell-workshop

Haskell
1
star