miguel-ambrona Goto Github PK

abe-relic

autodiff

Tool prototype for indifferentiability analysis

automatic-zk

chess-everest-tropic

Tool for designing, analyzing and solving retrospective chess compositions

d3-chess

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 given chess position.

deadpos

A tool for analyzing chess compositions based on dead reckoning

ggm-primitives

Implementation of cryptographic primitives that are secure in the Generic Group Model

ggm-symbolic-solver

This solver allows to analyze symbolic experiments to prove security of cryptographic constructions in the generic group model.

indiff

Indifferentiability analysis

indifferentiability

Library for automated analysis on the indifferentiability of symmetric-key cryptographic primitives from random functions/permutations with a special emphasis on automated synthesis of attacks.

lila

♞ lichess.org: the forever free, adless and open source chess server ♞

lila-5.2.2-6.9

Trying to create a program that accomplish with laws of chess 5.2.2 and 6.9

miguel-ambrona.github.io

My personal webpage

sherlock

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

sherlock-ocaml

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

sozi-website

The website of the Sozi project.

web-gui

A browser GUI for your pretty-printing the output of your programs, based on websockets.