Adrián Arroyo Calle (@aarroyoc)

Top repositories

1

postgresql-prolog

A Prolog library to connect to PostgreSQL databases
Prolog
84
star
2

doclog

DocLog builds documentation from source code in Prolog
Prolog
20
star
3

next-divel

NextDivel Experimental OS
C++
19
star
4

djota

A Djot implementation in Prolog
Prolog
17
star
5

kovel

Kovel, a voxel editor for Haiku, Linux and Windows
C++
13
star
6

diario

Blog engine in Rust using Rocket
JavaScript
13
star
7

node-xulrunner

Like NW.js and node-webkit but with Gecko using XUL Runner
JavaScript
11
star
8

teruel

Template engine for ISO Prolog, based on Jinja and Tera
Prolog
10
star
9

scryer-playground

Web playground to try Scryer Prolog in your browser!
JavaScript
10
star
10

marquete

Markdown for Prolog
Prolog
8
star
11

advent-of-code-2020

Solutions of Advent of Code 2020
Prolog
8
star
12

firefox-addons

Mozilla Firefox, SeaMonkey, Thunderbird and Fennec addons
JavaScript
8
star
13

blog-ejemplos

Ejemplos del blog Adrianistán
Prolog
7
star
14

advent-of-code-2023

My solutions for AoC 2023
Prolog
5
star
15

raylib-prolog

Raylib bindings to Scryer Prolog using library(ffi)
Prolog
5
star
16

valveni-db

ValveniDB
Prolog
5
star
17

pra2do

Pra2do allows you to create interactive applications in Prolog
Rust
4
star
18

mipsie

MIPSie (Prolog MIPS emulator)
Logtalk
4
star
19

perin

The Perin VM is a VM that implements the FlopFlip bytecode
Rust
4
star
20

mapaly

Mapaly is an educational geography website
Python
4
star
21

dijkstra

Dijkstra crate for Rust
Rust
3
star
22

chocolatey-packages

Chocolatey Packages
PowerShell
3
star
23

rutaxruta

Kotlin
3
star
24

mendel-vectorizer

Mendel Vectorizer
Rust
3
star
25

aarroyoc-packs

My registry for the Logtalk / Prolog package manager
Logtalk
3
star
26

esgueva

Toy Prolog system just for fun. Do not use it, use Scryer Prolog instead
Rust
3
star
27

pcc

P language interpreter
C
3
star
28

nodejs-shorteners

Collection of node.js URL shorteners packages
JavaScript
3
star
29

space-pipes

TypeScript
3
star
30

lyncex-tfg

Semantic Web Framework & Database
TeX
3
star
31

scryer-http-lyncex

Scryer HTTP Server dev version and test suite
Prolog
3
star
32

eurocookie-js

eurocookie-js is a fork from Google CookieChoices with more things
JavaScript
3
star
33

advent-of-code-2022

Prolog
3
star
34

gajse

Graphic Adventure JavaScript Engine
JavaScript
2
star
35

conway-haskell

Conway Game of Life in Haskell
Haskell
2
star
36

haiku-todo

HaikuToDo
C++
2
star
37

fractal_koch_rust

Rust
2
star
38

norzarea

Norzarea is the country of all can happen
JavaScript
2
star
39

Anrokku

Anrokku
Python
2
star
40

agromapa

Agromapa de Castilla y León
JavaScript
2
star
41

webgpt

Design websites with ChatGPT
JavaScript
2
star
42

Voxophone

Voxophone - An online radio player for Haiku
C++
2
star
43

LawMakerTM

LawMaker
JavaScript
2
star
44

djot-studio

A demo app showing how to use a WebView (Tauri) to add GUI to Scryer Prolog apps
Rust
2
star
45

vaccetia

Vaccetia: The town of Vacceos
Rust
1
star
46

next-divel-legacy

Old NextDivel operating system writed from scratch
C
1
star
47

azpazeta

Azpazeta
C++
1
star
48

hexaminas-rs

Hexaminas
Rust
1
star
49

blockchain-web

Blockchain Web
HTML
1
star
50

orbital-bus

Orbital Bus
Rust
1
star
51

AprendizajeAutomatico

Ejercicios de la asignatura TAA
Jupyter Notebook
1
star
52

files-prolog

Files.adrianistan.eu (SWI Prolog)
Prolog
1
star
53

Tabloidex

Java
1
star
54

adrianistan-server

Scripts de Adrianistán Server para Minecraft
Shell
1
star
55

SuperFreeCell

SuperFreeCell
C++
1
star
56

practica-fso

Práctica FSO - UVa
C
1
star
57

entrega2-adriarr-jugonza

Práctica 2 de POO - Universidad de Valladolid
Java
1
star
58

esgueva-forth

Rust
1
star
59

fractal_tree

Fractal tree in Rust
Rust
1
star
60

gamingonhaiku.cf

GamingOnHaiku.cf
HTML
1
star
61

divel-calendar

Source code of Divel Calendar for Windows, Linux and Android under the GPLv2
C++
1
star
62

arduino

Arduino samples created by me and my friends
Arduino
1
star
63

etherimail

Disposable mail addresses
Prolog
1
star
64

blog

My blog running Jekyll
HTML
1
star
65

eventhub-ui

EventHub UI - A graphical interface to watch your Azure EventHubs
Kotlin
1
star
66

princeps

Princeps is an operations research program
Rust
1
star
67

advent-of-code-2017

Solutions of Advent of Code 2017
Rust
1
star
68

norax

Norax - Website hosting Firefox, Chrome and Opera addons
HTML
1
star
69

FundamentosProgramacion

Ejercicios de Fundamentos de Programacion
HTML
1
star
70

obsolescencia-programada

Site destinado a la obsolescencia programada
HTML
1
star
71

advent-of-code-2021

Solutions for Advent of Code 2021
Kotlin
1
star
72

asm-demos

Demos in Assembler for NASM and GAS on x86, x86_64, ARM, etc with C, C++
Assembly
1
star
73

prolog-gamedev

Experiments about Gamedev + Prolog
Prolog
1
star
74

entrega1-adriarr-jugonza

Bicicletoide es la práctica de POO - UVa
Java
1
star
75

magiwriter

MagiWriter
Jupyter Notebook
1
star
76

prologhub

HTML
1
star
77

torre-utopia

Torre Utopia
TypeScript
1
star
78

biglittledata

BigLittleData website, runs on IPFS
HTML
1
star
79

lyncex.com

Lyncex.com website
HTML
1
star
80

codigos-criptografia

Ejercicios de Códigos y Criptografía
Python
1
star
81

el-pasillo-del-infierno

"El Pasillo del Infierno" is a WebGL game developed with three.js
JavaScript
1
star
82

adrianarroyocalle.github.io

Personal webpage
TeX
1
star
83

eresma

UXN/Varvara emulator
Rust
1
star
84

remoria

Remoria is a Prolog blog engine
Prolog
1
star
85

godot-3-fractal-koch

Koch Fractal in Godot 3 / C#
C#
1
star
86

azpazeta-market

Repository for Azpazeta games
1
star
87

math-in-lean

Math exercises in Lean 4
Lean
1
star
88

bardulia

Codenamed "bardulia", Life and Miracles of the Bardulia Plateau is a puzzle game with time travel repetetition mechanics
Rust
1
star
89

advent-of-code-2018

Soluciones al Advent of Code 2018 en Python 3
Python
1
star
90

Conway

Práctica de EDA - Universidad de Valladolid
C#
1
star