triska

Markus Triska's repositories

the-power-of-prolog

Introduction to modern Prolog

Language:HTML1164 50 34

clpz

Constraint Logic Programming over Integers

Language:Prolog172 11 27

clpfd

Constraint Logic Programming over Finite Domains

Language:Prolog161 9 1

lisprolog

Interpreter for a simple Lisp. Written in Prolog.

Language:Prolog140 70

ediprolog

Emacs Does Interactive Prolog

Language:Emacs Lisp37 5 10

letswicrypt

Prolog HTTPS Servers

Language:Prolog35 6 4

clpb

Boolean Constraint Solving in Prolog

Language:Prolog32 7 1

simsttab

Simple timetabling engine for schools

Language:Prolog22 5 3

bitcoinolog

Reason about Bitcoin addresses with Prolog

Language:Prolog19 50

proloxy

Prolog Reverse Proxy

Language:Prolog17 70

trs

Reason about Term Rewriting Systems

Language:Prolog14 40

scryer-prolog

A modern Prolog implementation written mostly in Rust.

Language:RustBSD-3-Clause9 30

presprover

Prove formulas of Presburger Arithmetic

Language:Prolog7 50

scc

Strongly Connected Components of a Graph

Language:Prolog6 40

Brachylog

A terse declarative logic programming language

Language:PrologMIT1 30

precautionary

Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation in PKPD.

Language:RNOASSERTION020

ring

Safe, fast, small crypto using Rust

Language:AssemblyNOASSERTION020