Søren Nørbæk (@soren-n)
github

soren-n

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    30
  • Global Rank 480,700 (Top 17 %)
  • Followers 7
  • Following 14
  • Registered over 12 years ago
  • Most used languages
    OCaml
         50.0 %
    Python
         50.0 %
  • Location 🇩🇰 Denmark
  • Country Total Rank 1,850
  • Country Ranking
    OCaml
         15
    Python
         1,477

Top repositories

1

bidi-higher-rank-poly

Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" written in OCaml
OCaml
23
star
2

typeset-ocaml

An embedded DSL for defining source code pretty printers implemented in OCaml
OCaml
5
star
3

minigun-py

A library for property-based testing of Python programs. Please read the documentation to learn more: https://minigun.readthedocs.io/en/latest/
Python
1
star
4

tickle

Command line workflow automation tool which performs task graph scheduling and concurrent task evaluation.
Python
1
star