triska

https://www.metalevel.at/t

Vienna

Pinned Repositories

bitcoinolog
Reason about Bitcoin addresses with Prolog
Language:Prolog20 5 05
clpb
Boolean Constraint Solving in Prolog
Language:Prolog32 7 15
clpfd
Constraint Logic Programming over Finite Domains
Language:Prolog162 9 110
clpz
Constraint Logic Programming over Integers
Language:Prolog174 11 2714
ediprolog
Emacs Does Interactive Prolog
Language:Emacs Lisp37 5 118
letswicrypt
Prolog HTTPS Servers
Language:Prolog35 6 42
lisprolog
Interpreter for a simple Lisp. Written in Prolog.
Language:Prolog142 7 013
presprover
Prove formulas of Presburger Arithmetic
Language:Prolog7 5 02
simsttab
Simple timetabling engine for schools
Language:Prolog22 5 310
the-power-of-prolog
Introduction to modern Prolog
Language:HTML1.2k 52 3467

triska's Repositories

triska/the-power-of-prolog
Introduction to modern Prolog
Language:HTML1.2k 52 3467
triska/clpz
Constraint Logic Programming over Integers
Language:Prolog174 11 2714
triska/clpfd
Constraint Logic Programming over Finite Domains
Language:Prolog162 9 110
triska/lisprolog
Interpreter for a simple Lisp. Written in Prolog.
Language:Prolog142 7 013
triska/ediprolog
Emacs Does Interactive Prolog
Language:Emacs Lisp37 5 118
triska/letswicrypt
Prolog HTTPS Servers
Language:Prolog35 6 42
triska/clpb
Boolean Constraint Solving in Prolog
Language:Prolog32 7 15
triska/simsttab
Simple timetabling engine for schools
Language:Prolog22 5 310
triska/bitcoinolog
Reason about Bitcoin addresses with Prolog
Language:Prolog20 5 05
triska/proloxy
Prolog Reverse Proxy
Language:Prolog17 7 05
triska/trs
Reason about Term Rewriting Systems
Language:Prolog14 4 02
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:Prolog6 4 02
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