Skip to content
View Dargones's full-sized avatar
9 followers · 7 following
  • Boston

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex2Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Organizations

@QuantitativeCriticismLab
Block or Report

Block or report Dargones

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. reversi reversi Public

    This repository stores code that can be used to solve\analyze the Reversi board game

    Java 2

  2. anceps anceps Public

    A Latin scansion tool (with a particular focus on trimeters)

    Python 12 2

  3. import_prediction import_prediction Public

    Code that allows predicting imports in Java code with GGNNs

    Jupyter Notebook 4

  4. dafny dafny Public

    Forked from dafny-lang/dafny

    Dafny is a verification-aware programming language

    C# 1 1

  5. blog blog Public

    Forked from dafny-lang/blog

    The Dafny blog

    HTML

  6. boogie boogie Public

    Forked from boogie-org/boogie

    Boogie

    Boogie