Jon Dybeck (@jdyb)
github

jdyb

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    2
  • Global Rank 2,219,069 (Top 77 %)
  • Followers 1
  • Following 4
  • Registered over 10 years ago
  • Most used languages
    Python
         50.0 %
    Scheme
         50.0 %
  • Location 🇸🇪 Sweden
  • Country Ranking
    Scheme
         22
    Python
         3,672

Top repositories

1

gentle-mpst-py

Educational implementation of "A Very Gentle Introduction to Multiparty Session Types".
Python
1
star
2

first-order-miniKanren-guile

miniKanren with a first-order representation of the search space (ported to Guile)
Scheme
1
star