Repositories

triska repositories

17 supported repositories

Show repositories with indexed issues
triska/BrachylogProlog

A terse declarative logic programming language

Last commit Apr 28, 2017

 (3 stars) (0 forks) (0 indexed issues) (0 open good first issues)
triska/bitcoinologProlog

Reason about Bitcoin addresses with Prolog

Last commit Mar 17, 2024

 (24 stars) (5 forks) (0 indexed issues) (0 open good first issues)
triska/clpbProlog

Boolean Constraint Solving in Prolog

Last commit Dec 8, 2024

 (48 stars) (6 forks) (0 indexed issues) (0 open good first issues)
triska/clpfdProlog

Constraint Logic Programming over Finite Domains

Last commit Jan 2, 2017

 (191 stars) (13 forks) (0 indexed issues) (0 open good first issues)
triska/clpzProlog

Constraint Logic Programming over Integers

Last commit Jan 23, 2024

 (211 stars) (15 forks) (0 indexed issues) (0 open good first issues)
triska/ediprologEmacs Lisp

Emacs Does Interactive Prolog

Last commit Oct 5, 2024

 (45 stars) (8 forks) (0 indexed issues) (0 open good first issues)
triska/letswicryptProlog

Prolog HTTPS Servers

Last commit Feb 11, 2018

 (39 stars) (3 forks) (0 indexed issues) (0 open good first issues)
triska/lisprologProlog

Interpreter for a simple Lisp. Written in Prolog.

Last commit Feb 22, 2023

 (156 stars) (13 forks) (0 indexed issues) (0 open good first issues)
triska/precautionaryR

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

Last commit Nov 29, 2021

 (1 star) (0 forks) (0 indexed issues) (0 open good first issues)
triska/presproverProlog

Prove formulas of Presburger Arithmetic

Last commit Oct 5, 2024

 (12 stars) (2 forks) (0 indexed issues) (0 open good first issues)
triska/proloxyProlog

Prolog Reverse Proxy

Last commit Feb 24, 2018

 (20 stars) (8 forks) (0 indexed issues) (0 open good first issues)
triska/sccProlog

Strongly Connected Components of a Graph

Last commit Apr 13, 2020

 (9 stars) (3 forks) (0 indexed issues) (0 open good first issues)
triska/scryer-prologRust

A modern Prolog implementation written mostly in Rust.

Last commit May 23, 2026

 (12 stars) (1 fork) (0 indexed issues) (0 open good first issues)
triska/simsttabProlog

Simple timetabling engine for schools

Last commit Jul 12, 2024

 (30 stars) (12 forks) (0 indexed issues) (0 open good first issues)
triska/the-power-of-prologHTML

Introduction to modern Prolog

Last commit Nov 29, 2023

 (1,140 stars) (67 forks) (0 indexed issues) (0 open good first issues)
triska/trilogC

a Prolog interpreter aiming to be embeddable, based on van Emden's ABC algorithm

Last commit Mar 28, 2026

 (0 stars) (0 forks) (0 indexed issues) (0 open good first issues)
triska/trsProlog

Reason about Term Rewriting Systems

Last commit Jul 24, 2022

 (18 stars) (4 forks) (0 indexed issues) (0 open good first issues)