Discover @triska Open Source projects

Markus Triska (@triska)

triska

Stars
1,741
Global Rank 17,750 (Top 0.7 %)
Followers 428
Following 74
Registered over 10 years ago
Most used languages

Prolog
84.6 %

Emacs Lisp
7.7 %

HTML
7.7 %
Location 🇦🇹 Austria
Country Total Rank 121
Country Ranking

Prolog
1

HTML
3

Emacs Lisp
6

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

bitcoinolog

Reason about Bitcoin addresses with Prolog

trs

Reason about Term Rewriting Systems

presprover

Prove formulas of Presburger Arithmetic

scc

Strongly Connected Components of a Graph