Skip to content


  • Arctic Code Vault Contributor



Popular repositories

  1. This the reference code to go along with a talk at OpenFSharp 2019:

    F# 2 2

  2. F# SMT examples

    F# 1

  3. Forked from ZachBray/FunScript

    F# to JavaScript compiler with JQuery etc. mappings through a TypeScript type provider


71 contributions in the last year

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

Contribution activity

October 2020

Created a pull request in fsprojects/ReasoningEngine that received 4 comments

Add Motifs formalism

Hillel this has the Motifs formalism that you were after using.

+60,920 −2,147 4 comments

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

You can’t perform that action at this time.