Skip to content
  • Philadelphia, PA, USA


  • Arctic Code Vault Contributor



Popular repositories

  1. An extended core library for F#.

    F# 170 38

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

    F# 128 12

  3. Accompanying code for "Types and Programming Languages", ported to F#

    F# 51 7

  4. Tools for building compilers, interpreters, and analysis tools in F#

    F# 43 14

  5. An experiment at expressing functors in F# the .NET type system.

    F# 15 1

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

    F# 10 4

43 contributions in the last year

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

Contribution activity

October 2020

Created an issue in rtosholdings/riptide_cpp that received 1 comment

SDS read/write routines fail to detect errors

A user who had an issue with filesystem corruption mentioned that calling rt.load_sds(...) on a corrupted file succeeded but returned uninitialized…

1 comment

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

You can’t perform that action at this time.