Pinned Loading

1. DafnyMPI DafnyMPI Public

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

   Dafny 2

2. 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

3. acrostics/acrostic-sleuth acrostics/acrostic-sleuth Public

   AcrosticSleuth is a program for identifying and ranking acrostics.

   Java

4. anceps anceps Public

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

   Python 12 3

5. JavaImportPrediction JavaImportPrediction Public

   Code that allows predicting imports in Java code with GGNNs

   Jupyter Notebook 4

6. Dice Dice Public

   A chance based language

   OCaml