Sandra Dylus (@ichistmeinname)
github

ichistmeinname

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    59
  • Global Rank 302,828 (Top 11 %)
  • Followers 117
  • Following 230
  • Registered over 12 years ago
  • Most used languages
    Haskell
         40.0 %
    TeX
         20.0 %
    HTML
         20.0 %
    Agda     10.0 %
    Coq     10.0 %
  • Location πŸ‡©πŸ‡ͺ Germany
  • Country Total Rank 14,118
  • Country Ranking
    Coq     4
    Agda     9
    Haskell
         118
    TeX
         746
    HTML
         4,721

Top repositories

1

free-proving

Resources for "One Monad to Prove Them All"
Coq
28
star
2

free-theorems

Haskell
9
star
3

Curry-Lenses

Master's thesis
Haskell
8
star
4

DTDatastructures

Reimplementations of functional data structures (mostly as presented by Okasaki) in a dependently typed language
Agda
4
star
5

ProbabilisticProgramming

TeX
3
star
6

FreeMonadLecture

Chapter on free monads used in functional programming course
Haskell
2
star
7

haskell-for-beginners

Resources from the course "Advanced Programming" about functional programming using Haskell
Haskell
1
star
8

Puzzles

Constraint Modelling in Curry
TeX
1
star
9

page

A personal professional homepage (or is it a professional personal homepage?)
HTML
1
star
10

ProbabilisticProgrammingBenchmarks

Benchmarks for PFLP, a library for probabilistic programming in Curry, with comparisons to other probabilistic languages
HTML
1
star