Markus Triska
Results
10
repositories owned by
Markus Triska
clpb
32
Stars
5
Forks
Watchers
Boolean Constraint Solving in Prolog
clpfd
162
Stars
10
Forks
Watchers
Constraint Logic Programming over Finite Domains
clpz
174
Stars
14
Forks
Watchers
Constraint Logic Programming over Integers
ediprolog
37
Stars
8
Forks
Watchers
Emacs Does Interactive Prolog
letswicrypt
35
Stars
2
Forks
Watchers
Prolog HTTPS Servers
lisprolog
143
Stars
13
Forks
Watchers
Interpreter for a simple Lisp. Written in Prolog.
simsttab
22
Stars
10
Forks
Watchers
Simple timetabling engine for schools
the-power-of-prolog
1.2k
Stars
67
Forks
Watchers
Introduction to modern Prolog
bitcoinolog
20
Stars
5
Forks
Watchers
Reason about Bitcoin addresses with Prolog