Block or report user

Popular repositories

  1. ArithmeticExpressionEvaluator

    Example Arithmetic Expression Evaluator using F# with Parser Combinator

    F# 1 1

  2. NHol

    Forked from jack-pappas/NHol

    An implementation of higher-order logic (HOL) in F#. Based on hol-light, Isabelle, and HOL4.


  3. fsharp-logic-examples

    Forked from jack-pappas/fsharp-logic-examples

    Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.


  4. remote_repo

    An example repository for learning.


  5. thinkcspy

    Forked from RunestoneInteractive/thinkcspy

    How to Think Like a Computer Scientist, Interactive Edition


24 contributions in the last year

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

Contribution activity First pull request First issue First repository Joined GitHub

October 2017

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