Pinned Loading

1. DafnyMPI DafnyMPI Public

   DafnyMPI is a Dafny library for writing provably-correct message-passing concurrent programs.

   Dafny 1

2. rdl rdl Public

   Forked from tupl-tufts/rdl

   Types, type checking, and contracts for Ruby

   Ruby

3. ConvexCovers ConvexCovers Public

   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 m…

   Java

4. acrostics/acrostic-sleuth acrostics/acrostic-sleuth Public

   AcrosticSleuth is a program for identifying and ranking acrostics.

   Java

5. anceps anceps Public

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

   Python 12 3

6. JavaImportPrediction JavaImportPrediction Public

   Code that allows predicting imports in Java code with GGNNs

   Jupyter Notebook 4