Adrián Arroyo Calle's repositories
postgresql-prolog
A Prolog library to connect to PostgreSQL databases
scryer-playground
Web playground to try Scryer Prolog in your browser!
blog-ejemplos
Ejemplos del blog Adrianistán
advent-of-code-2023
My solutions for AoC 2023
cesar-riscv
cesar-riscv
math-in-lean
Math exercises in Lean 4
scryer-prolog
A modern Prolog implementation written mostly in Rust.
scryer-prolog-eslibre-2024-workshop
Scryer Prolog esLibre 2024 Workshop
biki-rewind
BIKI Valladolid Rewind
Language:Jupyter NotebookAGPL-3.0000
diario2
A new engine for https://blog.adrianistan.eu. Written in (Scryer) Prolog
Language:PrologBSD-3-Clause000
haikuports
Software ports for the Haiku operating system.
Language:ShellMIT000
GPL-3.0000
mapa-becerro-behetrias-castilla
Visualizador del Mapa del Becerro de las Behetrías de Castilla
Language:CSSUnlicense000
pgprolog
PostgreSQL Prolog language handler
000
presentaciones
CMS de presentaciones que he dado
Language:KotlinUnlicense000
TallerSparkF1
Taller de Spark con datos de la Formula 1
Language:Scala000