• Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Prolog
  • License
    The Unlicense
  • Created 12 months ago
  • Updated 12 months ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

My solutions for AoC 2023

More 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

raylib-prolog

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

valveni-db

ValveniDB
Prolog
5
star
16

pra2do

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

mipsie

MIPSie (Prolog MIPS emulator)
Logtalk
4
star
18

perin

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

mapaly

Mapaly is an educational geography website
Python
4
star
20

dijkstra

Dijkstra crate for Rust
Rust
3
star
21

chocolatey-packages

Chocolatey Packages
PowerShell
3
star
22

rutaxruta

Kotlin
3
star
23

mendel-vectorizer

Mendel Vectorizer
Rust
3
star
24

aarroyoc-packs

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

esgueva

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

pcc

P language interpreter
C
3
star
27

nodejs-shorteners

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

space-pipes

TypeScript
3
star
29

lyncex-tfg

Semantic Web Framework & Database
TeX
3
star
30

scryer-http-lyncex

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

eurocookie-js

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

advent-of-code-2022

Prolog
3
star
33

gajse

Graphic Adventure JavaScript Engine
JavaScript
2
star
34

conway-haskell

Conway Game of Life in Haskell
Haskell
2
star
35

haiku-todo

HaikuToDo
C++
2
star
36

fractal_koch_rust

Rust
2
star
37

norzarea

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

Anrokku

Anrokku
Python
2
star
39

agromapa

Agromapa de Castilla y León
JavaScript
2
star
40

webgpt

Design websites with ChatGPT
JavaScript
2
star
41

Voxophone

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

LawMakerTM

LawMaker
JavaScript
2
star
43

djot-studio

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

vaccetia

Vaccetia: The town of Vacceos
Rust
1
star
45

next-divel-legacy

Old NextDivel operating system writed from scratch
C
1
star
46

azpazeta

Azpazeta
C++
1
star
47

hexaminas-rs

Hexaminas
Rust
1
star
48

blockchain-web

Blockchain Web
HTML
1
star
49

orbital-bus

Orbital Bus
Rust
1
star
50

AprendizajeAutomatico

Ejercicios de la asignatura TAA
Jupyter Notebook
1
star
51

files-prolog

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

Tabloidex

Java
1
star
53

adrianistan-server

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

SuperFreeCell

SuperFreeCell
C++
1
star
55

practica-fso

Práctica FSO - UVa
C
1
star
56

entrega2-adriarr-jugonza

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

esgueva-forth

Rust
1
star
58

fractal_tree

Fractal tree in Rust
Rust
1
star
59

gamingonhaiku.cf

GamingOnHaiku.cf
HTML
1
star
60

divel-calendar

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

arduino

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

etherimail

Disposable mail addresses
Prolog
1
star
63

blog

My blog running Jekyll
HTML
1
star
64

eventhub-ui

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

princeps

Princeps is an operations research program
Rust
1
star
66

advent-of-code-2017

Solutions of Advent of Code 2017
Rust
1
star
67

norax

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

FundamentosProgramacion

Ejercicios de Fundamentos de Programacion
HTML
1
star
69

obsolescencia-programada

Site destinado a la obsolescencia programada
HTML
1
star
70

advent-of-code-2021

Solutions for Advent of Code 2021
Kotlin
1
star
71

asm-demos

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

prolog-gamedev

Experiments about Gamedev + Prolog
Prolog
1
star
73

entrega1-adriarr-jugonza

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

magiwriter

MagiWriter
Jupyter Notebook
1
star
75

prologhub

HTML
1
star
76

torre-utopia

Torre Utopia
TypeScript
1
star
77

biglittledata

BigLittleData website, runs on IPFS
HTML
1
star
78

lyncex.com

Lyncex.com website
HTML
1
star
79

el-pasillo-del-infierno

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

adrianarroyocalle.github.io

Personal webpage
TeX
1
star
81

eresma

UXN/Varvara emulator
Rust
1
star
82

codigos-criptografia

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

remoria

Remoria is a Prolog blog engine
Prolog
1
star
84

godot-3-fractal-koch

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

azpazeta-market

Repository for Azpazeta games
1
star
86

math-in-lean

Math exercises in Lean 4
Lean
1
star
87

bardulia

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

advent-of-code-2018

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

Conway

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