Pinned Loading

1. D3-Chess D3-Chess Public

   Chess Unwinnability Analyzer is an implementation of a decision procedure for checking whether there exists a sequence of legal moves that allows a certain player to checkmate their opponent in a g…

   C++ 50 8

2. security-kouza/cont-pay security-kouza/cont-pay Public

   Zero-Knowledge Contingent Payment (zkCP) is a prototype tool associated to the paper "WI is Almost Enough: Contingent (Service) Payment All Over Again" at ACM CCS 2020.

   C++ 2

3. sherlock sherlock Public

   A chess library written in OCaml, oriented to creating and solving chess compositions with especial emphasis on retrograde analysis

   OCaml 2

4. generic-group-analyzer/gga-unbounded generic-group-analyzer/gga-unbounded Public

   Generic Group Analyzer Unbounded is a tool for automatically proving computational security statements in the Generic Group Model.

   JavaScript 1 1

5. deadpos deadpos Public

   A tool for analyzing chess compositions based on dead reckoning

   Python 2

6. autodiff autodiff Public

   Tool prototype for indifferentiability analysis

   OCaml