• Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    TeX
  • License
    BSD 3-Clause "New...
  • Created almost 5 years ago
  • Updated over 4 years ago

Reviews

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

Repository Details

Semantic Web Framework & Database

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

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

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