Skip to content
Avatar
  • seattle

Highlights

  • Arctic Code Vault Contributor
  • Pro

Pinned

  1. Forked from tlaplus/tlaplus

    TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

    Java

  2. A Knock Knock server for EC2 instances

    Java

  3. Eclipse features for wrapping Linux, Mac, and Windows OpenJDK binaries

    1

  4. Forked from tensorflow/tensorflow

    Computation using data flow graphs for scalable machine learning

    C++

  5. Forked from unsiloai/parsey_mcparseface_export

    Code for exporting syntaxnet/parsey_mcparseface as a Tensorflow SavedModelBundle

    Python

19 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr Mon Wed Fri
Activity overview
Contributed to knime/knime-workbench, tlaplus/tlaplus, quaeler/mta-consumer and 2 other repositories

Contribution activity

January - April 2021

quaeler has no activity yet for this period.

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