Beast code in Giters

Alejandro Lopez's repositories

The ZRL Programming Language

Language:OCamlApache-2.012 3 10

A study playground about SAT solvers, their implementation and applications

Language:C++MIT3 20

A playground to experiment with cicada puzzles.

Language:GoMIT200

https://adventofcode.com/2020

Language:C++010

https://adventofcode.com/2021

Language:C++010

A scraper for http://bingoweiqi.com

Language:GoMIT000

Dotfiles and misc. scripts for fast setup on new machines

Language:Vim script010

A terminal-based CHelper-inspired wannabe project for Go(lang) enthusiasts

Language:GoApache-2.0010

Notes and programs on mathematical logic.

Language:OCamlMIT010

Notes and programs for "Proof Theory in Mathematical Logic" course MATH.MA.770-2021-2022-2 at Tampere University

Language:OCamlMIT000

Support library for ZRL

Language:C++Apache-2.0020

Examples for Scala-Helsinki meetup 29/09/2016

Language:Scala010

Sample project for reproducing https://github.com/bazelbuild/bazel/issues/6048

Language:C++000