Repositórios

Repositórios de triska

17 repositórios suportados

Mostrar repositórios com issues indexadas
triska/BrachylogProlog

A terse declarative logic programming language

Último commit 28 de abr. de 2017

 (3 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
triska/bitcoinologProlog

Reason about Bitcoin addresses with Prolog

Último commit 17 de mar. de 2024

 (24 stars) (5 forks) (0 issues indexadas) (0 good first issues abertas)
triska/clpbProlog

Boolean Constraint Solving in Prolog

Último commit 8 de dez. de 2024

 (48 stars) (6 forks) (0 issues indexadas) (0 good first issues abertas)
triska/clpfdProlog

Constraint Logic Programming over Finite Domains

Último commit 2 de jan. de 2017

 (191 stars) (13 forks) (0 issues indexadas) (0 good first issues abertas)
triska/clpzProlog

Constraint Logic Programming over Integers

Último commit 23 de jan. de 2024

 (211 stars) (15 forks) (0 issues indexadas) (0 good first issues abertas)
triska/ediprologEmacs Lisp

Emacs Does Interactive Prolog

Último commit 5 de out. de 2024

 (45 stars) (8 forks) (0 issues indexadas) (0 good first issues abertas)
triska/letswicryptProlog

Prolog HTTPS Servers

Último commit 11 de fev. de 2018

 (39 stars) (3 forks) (0 issues indexadas) (0 good first issues abertas)
triska/lisprologProlog

Interpreter for a simple Lisp. Written in Prolog.

Último commit 22 de fev. de 2023

 (156 stars) (13 forks) (0 issues indexadas) (0 good first issues abertas)
triska/precautionaryR

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

Último commit 29 de nov. de 2021

 (1 star) (0 forks) (0 issues indexadas) (0 good first issues abertas)
triska/presproverProlog

Prove formulas of Presburger Arithmetic

Último commit 5 de out. de 2024

 (12 stars) (2 forks) (0 issues indexadas) (0 good first issues abertas)
triska/proloxyProlog

Prolog Reverse Proxy

Último commit 24 de fev. de 2018

 (20 stars) (8 forks) (0 issues indexadas) (0 good first issues abertas)
triska/sccProlog

Strongly Connected Components of a Graph

Último commit 13 de abr. de 2020

 (9 stars) (3 forks) (0 issues indexadas) (0 good first issues abertas)
triska/scryer-prologRust

A modern Prolog implementation written mostly in Rust.

Último commit 23 de mai. de 2026

 (12 stars) (1 fork) (0 issues indexadas) (0 good first issues abertas)
triska/simsttabProlog

Simple timetabling engine for schools

Último commit 12 de jul. de 2024

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

Introduction to modern Prolog

Último commit 29 de nov. de 2023

 (1.140 stars) (67 forks) (0 issues indexadas) (0 good first issues abertas)
triska/trilogC

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

Último commit 28 de mar. de 2026

 (0 stars) (0 forks) (0 issues indexadas) (0 good first issues abertas)
triska/trsProlog

Reason about Term Rewriting Systems

Último commit 24 de jul. de 2022

 (18 stars) (4 forks) (0 issues indexadas) (0 good first issues abertas)