倉庫

triska 的倉庫

17 個支援的倉庫

只顯示包含已索引 issue 的倉庫
triska/BrachylogProlog

A terse declarative logic programming language

最近提交 2017年4月28日

 (3 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
triska/bitcoinologProlog

Reason about Bitcoin addresses with Prolog

最近提交 2024年3月17日

 (24 stars) (5 forks) (0 個已索引 issue) (0 個開放 good first issue)
triska/clpbProlog

Boolean Constraint Solving in Prolog

最近提交 2024年12月8日

 (48 stars) (6 forks) (0 個已索引 issue) (0 個開放 good first issue)
triska/clpfdProlog

Constraint Logic Programming over Finite Domains

最近提交 2017年1月2日

 (191 stars) (13 forks) (0 個已索引 issue) (0 個開放 good first issue)
triska/clpzProlog

Constraint Logic Programming over Integers

最近提交 2024年1月23日

 (211 stars) (15 forks) (0 個已索引 issue) (0 個開放 good first issue)
triska/ediprologEmacs Lisp

Emacs Does Interactive Prolog

最近提交 2024年10月5日

 (45 stars) (8 forks) (0 個已索引 issue) (0 個開放 good first issue)
triska/letswicryptProlog

Prolog HTTPS Servers

最近提交 2018年2月11日

 (39 stars) (3 forks) (0 個已索引 issue) (0 個開放 good first issue)
triska/lisprologProlog

Interpreter for a simple Lisp. Written in Prolog.

最近提交 2023年2月22日

 (156 stars) (13 forks) (0 個已索引 issue) (0 個開放 good first issue)
triska/precautionaryR

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

最近提交 2021年11月29日

 (1 star) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
triska/presproverProlog

Prove formulas of Presburger Arithmetic

最近提交 2024年10月5日

 (12 stars) (2 forks) (0 個已索引 issue) (0 個開放 good first issue)
triska/proloxyProlog

Prolog Reverse Proxy

最近提交 2018年2月24日

 (20 stars) (8 forks) (0 個已索引 issue) (0 個開放 good first issue)
triska/sccProlog

Strongly Connected Components of a Graph

最近提交 2020年4月13日

 (9 stars) (3 forks) (0 個已索引 issue) (0 個開放 good first issue)
triska/scryer-prologRust

A modern Prolog implementation written mostly in Rust.

最近提交 2026年5月23日

 (12 stars) (1 fork) (0 個已索引 issue) (0 個開放 good first issue)
triska/simsttabProlog

Simple timetabling engine for schools

最近提交 2024年7月12日

 (30 stars) (12 forks) (0 個已索引 issue) (0 個開放 good first issue)
triska/the-power-of-prologHTML

Introduction to modern Prolog

最近提交 2023年11月29日

 (1,140 stars) (67 forks) (0 個已索引 issue) (0 個開放 good first issue)
triska/trilogC

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

最近提交 2026年3月28日

 (0 stars) (0 forks) (0 個已索引 issue) (0 個開放 good first issue)
triska/trsProlog

Reason about Term Rewriting Systems

最近提交 2022年7月24日

 (18 stars) (4 forks) (0 個已索引 issue) (0 個開放 good first issue)