Klara Meyer (@cryptica)
github

cryptica

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    6
  • Global Rank 1,300,168 (Top 45 %)
  • Followers 1
  • Registered over 14 years ago
  • Most used languages
    Haskell
         75.0 %
    Prolog
         25.0 %
  • Location ๐Ÿ‡ฉ๐Ÿ‡ช Germany
  • Country Total Rank 45,792
  • Country Ranking
    Prolog
         57
    Haskell
         303

Top repositories

1

faterpg

A toolkit for generating characters for the FATE RPG
Haskell
2
star
2

pnerf

Petrinizer: A Constraint-Based Model Checker for Petri Nets
Prolog
2
star
3

tensidedcoin

Blog รผber Materialien und Experimente aus diversen Rollenspielsystemen, Brettspiele u.v.m.
Haskell
1
star
4

slapnet

Safety and Liveness Analysis of Petri Nets with SMT solvers
Haskell
1
star