Repositories

triska Repositories

17 unterstützte Repositories

Repositories mit indexierten Issues anzeigen
triska/BrachylogProlog

A terse declarative logic programming language

Letzter Commit 28. Apr. 2017

 (3 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
triska/bitcoinologProlog

Reason about Bitcoin addresses with Prolog

Letzter Commit 17. März 2024

 (24 Stars) (5 Forks) (0 indexierte Issues) (0 offene good first issues)
triska/clpbProlog

Boolean Constraint Solving in Prolog

Letzter Commit 8. Dez. 2024

 (48 Stars) (6 Forks) (0 indexierte Issues) (0 offene good first issues)
triska/clpfdProlog

Constraint Logic Programming over Finite Domains

Letzter Commit 2. Jan. 2017

 (191 Stars) (13 Forks) (0 indexierte Issues) (0 offene good first issues)
triska/clpzProlog

Constraint Logic Programming over Integers

Letzter Commit 23. Jan. 2024

 (211 Stars) (15 Forks) (0 indexierte Issues) (0 offene good first issues)
triska/ediprologEmacs Lisp

Emacs Does Interactive Prolog

Letzter Commit 5. Okt. 2024

 (45 Stars) (8 Forks) (0 indexierte Issues) (0 offene good first issues)
triska/letswicryptProlog

Prolog HTTPS Servers

Letzter Commit 11. Feb. 2018

 (39 Stars) (3 Forks) (0 indexierte Issues) (0 offene good first issues)
triska/lisprologProlog

Interpreter for a simple Lisp. Written in Prolog.

Letzter Commit 22. Feb. 2023

 (156 Stars) (13 Forks) (0 indexierte Issues) (0 offene 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.

Letzter Commit 29. Nov. 2021

 (1 Star) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
triska/presproverProlog

Prove formulas of Presburger Arithmetic

Letzter Commit 5. Okt. 2024

 (12 Stars) (2 Forks) (0 indexierte Issues) (0 offene good first issues)
triska/proloxyProlog

Prolog Reverse Proxy

Letzter Commit 24. Feb. 2018

 (20 Stars) (8 Forks) (0 indexierte Issues) (0 offene good first issues)
triska/sccProlog

Strongly Connected Components of a Graph

Letzter Commit 13. Apr. 2020

 (9 Stars) (3 Forks) (0 indexierte Issues) (0 offene good first issues)
triska/scryer-prologRust

A modern Prolog implementation written mostly in Rust.

Letzter Commit 23. Mai 2026

 (12 Stars) (1 Fork) (0 indexierte Issues) (0 offene good first issues)
triska/simsttabProlog

Simple timetabling engine for schools

Letzter Commit 12. Juli 2024

 (30 Stars) (12 Forks) (0 indexierte Issues) (0 offene good first issues)
triska/the-power-of-prologHTML

Introduction to modern Prolog

Letzter Commit 29. Nov. 2023

 (1.140 Stars) (67 Forks) (0 indexierte Issues) (0 offene good first issues)
triska/trilogC

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

Letzter Commit 28. März 2026

 (0 Stars) (0 Forks) (0 indexierte Issues) (0 offene good first issues)
triska/trsProlog

Reason about Term Rewriting Systems

Letzter Commit 24. Juli 2022

 (18 Stars) (4 Forks) (0 indexierte Issues) (0 offene good first issues)