Adrián Arroyo Calle's repositories
haikuports
Software ports for the Haiku operating system.
Language:ShellMIT000
raylib-prolog
Raylib bindings to Scryer Prolog using library(ffi)
djot-studio
A demo app showing how to use a WebView (Tauri) to add GUI to Scryer Prolog apps
fathom
Fathom Lite. Simple, privacy-focused website analytics. Built with Golang & Preact.
Language:GoMIT000
Language:PythonGPL-3.0000
Language:Rust000
lets-prove-leftpad
Proving leftpad correct in a dozen different ways
NOASSERTION000
shortkin.gq
ShortKin.gq
Language:JavaScript000
advent-of-code-2021
Solutions for Advent of Code 2021
aarroyoc-packs
My registry for the Logtalk / Prolog package manager
eresma
UXN/Varvara emulator
Language:Rust000
erlings
Small exercises to get you used to reading and writing Erlang code
Language:ErlangMIT000
Language:Jupyter NotebookAGPL-3.0000
Language:PythonApache-2.0000
riscv-arch-image-builder
RISC-V Archlinux D1 Mango PI image builder
Language:ShellMIT000
TDTChannels
Listado de Canales de TV (TDT) en abierto, 100% legal, 100% gratuito // Spanish TV Channels, 100% legal, 100% free
NOASSERTION000
mendel-vectorizer
Mendel Vectorizer
Language:Java000
conway-haskell
Conway Game of Life in Haskell
valveni-db
ValveniDB
advent-of-code-2017
Solutions of Advent of Code 2017