Pinned Loading

1. tlaplus tlaplus Public

   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. ec2-knock-knock ec2-knock-knock Public

   A Knock Knock server for EC2 instances

   Java

3. eclipse-jdk-bundles eclipse-jdk-bundles Public

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

   1

4. tensorflow tensorflow Public

   Forked from tensorflow/tensorflow

   Computation using data flow graphs for scalable machine learning

   C++

5. parsey_mcparseface_export parsey_mcparseface_export Public

   Forked from cactuscommunications/parsey_mcparseface_export

   Code for exporting syntaxnet/parsey_mcparseface as a Tensorflow SavedModelBundle

   Python

6. quamina quamina Public

   Forked from timbray/quamina

   Home of Quamina, a fast pattern-matching library in Go

   Go 1