dargones Goto Github PK

2dqueryvisualization

This project implements an algorithm for identifying points on a plane that fall within a specific rectangle and allows visualizing the algorithm step-by-step.

al-folio

A beautiful, simple, clean, and responsive Jekyll theme for academics

anceps

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

aws-encryption-sdk-dafny

AWS Encryption SDK for Dafny

blog

The Dafny blog

boogie

Boogie

charts

⚠️(OBSOLETE) Curated applications for Kubernetes

code2vecpytorch

convexcovers

This repository contains code that illustrates a baseline solution for the CG:SHOP 2023 competition, which involved computing smallest convex covers of arbitrary polygons with holes. This is also my final project for CS263 at Tufts.

corral

solver for the reachability modulo theories problem

dafny

Dafny is a verification-aware programming language

dafny-mocking-example

dafny-reportgenerator

A tool for analyzing and reporting on Dafny, especially the results of verification

dafnytestbenchmarks

dstack-r

harrington-trees

Tufts University Treebanked Commentaries - J. Matthew Harrington, General Editor

import_prediction

Code that allows predicting imports in Java code with GGNNs

ironclad

The MSR Ironclad project builds provably secure and reliable systems.

lat_text_tesserae

Plaintext files with Latin texts from the Tesserae Project

libraries

Libraries useful for Dafny programs

pintos

This is a version on PintOS cloned for CMSC326: Operating Systems assignments.

quest_game

A geometry package and some other tools I created in 2016 for writing a quest-game

rdl

Types, type checking, and contracts for Ruby

reversi

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

sentence_alignment_tools

A collection of tools for sentence alignement

setup-dafny-action

Action for installing Dafny

synesthesiatools

Basic tools for synesthesia research

test-generation-examples

testingframeworkpaper

typeprediction