Block or Report
Block or report triska
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
the-power-of-prolog Public
Introduction to modern Prolog
-
simsttab Public
Simple timetabling engine for schools
-
scryer-prolog Public
Forked from mthom/scryer-prologA modern Prolog implementation written mostly in Rust.
-
bitcoinolog Public
Reason about Bitcoin addresses with Prolog
-
clpz Public
Constraint Logic Programming over Integers
-
clpb Public
Boolean Constraint Solving in Prolog
-
lisprolog Public
Interpreter for a simple Lisp. Written in Prolog.
-
ediprolog Public
Emacs Does Interactive Prolog
-
trs Public
Reason about Term Rewriting Systems
-
precautionary Public
Forked from dcnorris/precautionaryPatient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation in PKPD.
R Other UpdatedNov 29, 2021 -
ring Public
Forked from briansmith/ringSafe, fast, small crypto using Rust
Assembly Other UpdatedAug 8, 2020 -
presprover Public
Prove formulas of Presburger Arithmetic
-
scc Public
Strongly Connected Components of a Graph
-
clpfd Public
Constraint Logic Programming over Finite Domains
-
proloxy Public
Prolog Reverse Proxy
-
letswicrypt Public
Prolog HTTPS Servers
-
Brachylog Public
Forked from JCumin/BrachylogA terse declarative logic programming language