Discover trending Prolog
open-source projects

135
216
355
WorkOS
Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors

ciao

logtalk3

simply-logical

terminusdb

elpi

openpst
Mentions
@
 Stars Project Description
20 8,330
open-source-rover
 A build-it-yourself, 6-wheel rover based on the rovers on Mars!
51 2,622
terminusdb
 TerminusDB is a distributed database with a collaboration model
6 544
stabilizer
 Stabilizer: Rigorous Performance Evaluation
1 476
swish
 SWI-Prolog for SHaring: a SWI-Prolog web IDE
1 430
the-constitution-of-japan
57 394
logtalk3
 Logtalk - declarative object-oriented logic programming language
2 331
BadUSB-Cable
 BadUSB cable based on Attiny85 microcontroller.
12 322
dumbpad
 Simple 4x4 numpad with rotary encoder. Powered by QMK via ATmega32u4 Pro Micro
4 260
elpi
 Embeddable Lambda Prolog Interpreter
4 255
tar.pl
 tar creator+extractor in ~100 lines of prolog
3 243
ciao
 Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
1 217
esplay_micro_hardware
 Micro version of esplay hardware, ESP32 based gaming console
1 180
APE
 Parser for Attempto Controlled English (ACE)
5 172
clpz
 Constraint Logic Programming over Integers
2 154
clpfd
 Constraint Logic Programming over Finite Domains
2 140
prolog_notes
 Some notes taken while working on Prolog
1 119
Niz-Plum-84EC-S-Pro-Ble-Non-RGB-manual
 Translated English Manual for Niz Plum 84EC(S) Pro-Ble Non RGB manual keyboard
1 117
openpst
 A collection of tools for working with Qualcomm MSM devices
1 107
simply-logical
 Online, interactive edition of the "Simply Logical" Prolog textbook
1 104
swiplwebtut
 A tutorial for the swipl web framework

Popular Prolog Topics

Prolog logic-programming swi-prolog Constraints complex-event-processing swipl NLP ontology expert-system Compiler Interpreter open-source clp mars-rover temporal-phenomena declarative-programming CI temporal-logic Home program-synthesis DSL program-induction Ssi Recursive event-calculus

Latest Mentions

Latest mentioned Prolog repos
Stars Project
0 gitl
2 Lucian CI/CD
1 teletext
107 simply-logical
394 logtalk3
4 advent-of-prolog-2023
1 aoc2023-prolog
11 void-pi
7 adventofcode2023
0 prolog-whist
8,330 open-source-rover
28 prologmud
3 trealla-spin
6 constrained.pl
5 raylib-prolog
24 precautionary
20 djota
91 louise
8 prolog_jwt
2 Pl_Concolic_Testing

Latest Discoveries

Latest discovered Prolog repos
Stars Project
0 gitl
2 Lucian CI/CD
1 teletext
107 simply-logical
1 aoc2023-prolog
4 advent-of-prolog-2023
11 void-pi
7 adventofcode2023
0 prolog-whist
28 prologmud
6 constrained.pl
8 prolog_jwt
2 Pl_Concolic_Testing
3 ninja
0 practice
217 esplay_micro_hardware
16 cmsc330
476 swish
0 logik12_project
4 refinements

Recently updated posts

View more »

Newsletter