Block or report user

Organizations

@mgtk @HIPERFIT @DIKU-PCS @SMLFamily

Popular repositories

  1. mosml

    Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.

    156 Standard ML

  2. verified-monkey-island

    4 Standard ML

  3. american-options

    Emperiments with algorithms for pricing American Options

    4 Standard ML

  4. webserver-functor

    Example code demonstrating how SML modules, in particular functors, can be used for structuring a web framework.

    4 Standard ML

  5. wpp

    A Pretty Printer, based on Philip Wadler's "A prettier printer". But heavily modified to be efficient in a strict language.

    4 Standard ML

  6. smlsqlite

    3 C

632 contributions in the last year

Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

September 2016

Created 2 commits in 2 repositories

kfl/trymosml 1 commit
kfl/mosml 1 commit
8 contributions in private repositories Sep 6 – Sep 15

Seeing something unexpected? Take a look at the GitHub profile guide.