Popular repositories Loading

1. grilops grilops Public

   Forked from obijywk/grilops

   a GRId LOgic Puzzle Solver library

   Python 2

2. FStar FStar Public

   Forked from FStarLang/FStar

   Verification system for effectful programs

   F* 1

3. mainpuzzleserver mainpuzzleserver Public

   Forked from PuzzleServer/mainpuzzleserver

   The main repo for the Puzzle Hunt and Puzzleday servers.

   C#

4. boogie boogie Public

   Forked from boogie-org/boogie

   Boogie

   C#

5. dafny dafny Public

   Forked from dafny-lang/dafny

   Dafny is a verification-aware programming language

   C#

6. cross2sheet cross2sheet Public

   Forked from dgulotta/cross2sheet

   A program to convert crossword grids to spreadsheet format

   Python