Projects in Awesome Lists by triska
A curated list of projects in awesome lists by triska .
https://github.com/triska/the-power-of-prolog
Introduction to modern Prolog
book constraints logic-programming prolog teaching-materials
Last synced: 26 Jan 2026
https://github.com/triska/clpfd
Constraint Logic Programming over Finite Domains
clp constraint-programming constraints integer-arithmetic prolog teaching
Last synced: 04 Jan 2026
https://github.com/triska/clpz
Constraint Logic Programming over Integers
clp constraint-programming constraints integer-arithmetic prolog sicstus-prolog
Last synced: 04 Jan 2026
https://github.com/triska/lisprolog
Interpreter for a simple Lisp. Written in Prolog.
Last synced: 27 Jan 2026
https://github.com/triska/clpb
Boolean Constraint Solving in Prolog
bdd clp constraint-programming constraints independent-sets matchsticks-puzzle prolog sat satisfiability
Last synced: 04 Jan 2026
https://github.com/triska/ediprolog
Emacs Does Interactive Prolog
emacs emacs-lisp prolog prolog-process
Last synced: 25 Jul 2025
https://github.com/triska/letswicrypt
Prolog HTTPS Servers
https https-server prolog swi-prolog
Last synced: 04 Jan 2026
https://github.com/triska/simsttab
Simple timetabling engine for schools
clp constraint-programming prolog school timetable timetabling-engine
Last synced: 12 Feb 2026
https://github.com/triska/bitcoinolog
Reason about Bitcoin addresses with Prolog
bitcoin bitcoin-wallet cryptocurrency elliptic-curves offline-capable prolog
Last synced: 20 Sep 2025
https://github.com/triska/proloxy
Prolog Reverse Proxy
http-proxy https https-proxy prolog proxy-server swi-prolog websocket-connection
Last synced: 04 Jan 2026
https://github.com/triska/presprover
Prove formulas of Presburger Arithmetic
presburger-arithmetic prolog theorem-proving
Last synced: 04 Jan 2026
https://github.com/triska/scc
Strongly Connected Components of a Graph
graph prolog scc tarjan-algorithm
Last synced: 04 Jan 2026