triska/bitcoinolog

Stars
19
Rank 1,128,758 (Top 23 %)
Language
Prolog
Created almost 7 years ago
Updated over 1 year ago

triska/bitcoinolog

triska

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

Reason about Bitcoin addresses with Prolog

the-power-of-prolog

Introduction to modern Prolog

clpz

Constraint Logic Programming over Integers

clpfd

Constraint Logic Programming over Finite Domains

lisprolog

Interpreter for a simple Lisp. Written in Prolog.

ediprolog

Emacs Does Interactive Prolog

letswicrypt

Prolog HTTPS Servers

clpb

Boolean Constraint Solving in Prolog

simsttab

Simple timetabling engine for schools

proloxy

Prolog Reverse Proxy

trs

Reason about Term Rewriting Systems

presprover

Prove formulas of Presburger Arithmetic

scc

Strongly Connected Components of a Graph