Skip to content
View quaeler's full-sized avatar
8 followers · 0 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report quaeler

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  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