Block or report user


@fsprojects @links-lang

Pinned repositories

  1. FStarLang/FStar

    An ML-like language aimed at program verification

    OCaml 741 66

  2. FSharp.Data.HiveProvider

    Forked from fsprojects/FSharp.Data.HiveProvider

    F# Type Provider for Hadoop Hive


  3. ug4-films

    University of Edinburgh Honours Project


  4. fsprojects/TPCombinators

    Experimental project to build type providers using compositional combinators

    F# 13 9

  5. ailp

    Artificial Intelligence Large Practical, School of Informatics, The University of Edinburgh (2013)

    Haskell 1

163 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

February 2017

Created a pull request in FStarLang/FStar that received 4 comments

Vdum pprint ocaml

First working version of the prettyprinter for the extracted ML code using the OCaml compiler-libs.

6 contributions in private repositories Feb 23

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