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