triska

https://www.metalevel.at/t

Vienna

Pinned Repositories

bitcoinolog
Reason about Bitcoin addresses with Prolog
Language:Prolog21 5 05
clpb
Boolean Constraint Solving in Prolog
Language:Prolog37 7 15
clpfd
Constraint Logic Programming over Finite Domains
Language:Prolog169 9 111
clpz
Constraint Logic Programming over Integers
Language:Prolog185 11 2815
ediprolog
Emacs Does Interactive Prolog
Language:Emacs Lisp37 5 128
letswicrypt
Prolog HTTPS Servers
Language:Prolog36 6 43
lisprolog
Interpreter for a simple Lisp. Written in Prolog.
Language:Prolog145 7 013
presprover
Prove formulas of Presburger Arithmetic
Language:Prolog7 5 02
simsttab
Simple timetabling engine for schools
Language:Prolog23 6 412
the-power-of-prolog
Introduction to modern Prolog
Language:HTML1.2k 53 3576

triska's Repositories

triska/the-power-of-prolog
Introduction to modern Prolog
Language:HTML1.2k 53 3576
triska/clpz
Constraint Logic Programming over Integers
Language:Prolog185 11 2815
triska/clpfd
Constraint Logic Programming over Finite Domains
Language:Prolog169 9 111
triska/lisprolog
Interpreter for a simple Lisp. Written in Prolog.
Language:Prolog145 7 013
triska/clpb
Boolean Constraint Solving in Prolog
Language:Prolog37 7 15
triska/ediprolog
Emacs Does Interactive Prolog
Language:Emacs Lisp37 5 128
triska/letswicrypt
Prolog HTTPS Servers
Language:Prolog36 6 43
triska/simsttab
Simple timetabling engine for schools
Language:Prolog23 6 412
triska/bitcoinolog
Reason about Bitcoin addresses with Prolog
Language:Prolog21 5 05
triska/proloxy
Prolog Reverse Proxy
Language:Prolog19 7 06
triska/trs
Reason about Term Rewriting Systems
Language:Prolog15 4 04
triska/scryer-prolog
A modern Prolog implementation written mostly in Rust.
Language:Rust9 3 01
triska/presprover
Prove formulas of Presburger Arithmetic
Language:Prolog7 5 02
triska/scc
Strongly Connected Components of a Graph
Language:Prolog7 4 03
triska/Brachylog
A terse declarative logic programming language
Language:Prolog1 3 0
triska/precautionary
Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation in PKPD.
Language:R2 0
triska/ring
Safe, fast, small crypto using Rust
Language:Assembly2 0