Sven Keidel (@svenkeidel)
github

svenkeidel

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    97
  • Global Rank 211,831 (Top 8 %)
  • Followers 24
  • Following 15
  • Registered over 14 years ago
  • Most used languages
    Haskell
         58.3 %
    Java
         16.7 %
    Pascal     8.3 %
    TeX
         8.3 %
    Coq     8.3 %
  • Location 🇩🇪 Germany
  • Country Total Rank 10,650
  • Country Ranking
    Coq     31
    Pascal     34
    Haskell
         168
    TeX
         453
    Java
         8,792

Top repositories

1

sturdy

Sturdy is a library for developing sound static analyses in Haskell.
Pascal
60
star
2

category-studygroup

TeX
8
star
3

hsynth

Software Synthesizer in Haskell
Haskell
4
star
4

gnome-citadel

Simulation game inspired by Dwarf Fortress
Haskell
3
star
5

GdI-1-SS2010-Scheme

1
star
6

category-theory

Category Theory formalized in Coq
Coq
1
star
7

tree-automata

Regular tree automata library by Michael D. Adams
Haskell
1
star
8

Samegame

Java
1
star
9

GdI-2-SS2011

Java
1
star
10

hug

Code for the Frankfurt Haskell User Group
Haskell
1
star
11

stream-bench

Benchmarks for Stream Datatypes
Haskell
1
star
12

monto-broker

Upstream is at https://github.com/monto-editor/broker
Haskell
1
star
13

haskell-meetup-talk-05-09-19

Haskell
1
star