Alejandro Lopez's repositories
cicada3301
A playground to experiment with cicada puzzles.
bingowq-scraper
A scraper for http://bingoweiqi.com
Language:GoMIT000
MATH.MA.770
Notes and programs for "Proof Theory in Mathematical Logic" course MATH.MA.770-2021-2022-2 at Tampere University
Language:OCamlMIT000
repro6048
Sample project for reproducing https://github.com/bazelbuild/bazel/issues/6048
Language:C++000