PyDigger - unearthing stuff about Python


NameVersionSummarydate
pyats.datastructures 24.3 pyATS Datastructures: Extended Datastructures for Grownups 2024-03-26 18:33:30
pydavid 1.0.0 A simple Python interface of Open-David 2024-03-26 16:53:21
pystc 1.0.0 A simple but extensible Python module for sentences 2024-03-26 12:17:17
lcrl 0.0.8 Logically-Constrained Reinforcement Learning 2024-02-28 16:33:34
ntqr 0.2 Tools for the logic of evaluation using unlabeled data 2024-02-28 12:11:10
dep-logic 0.2.0 Python dependency specifications supporting logical operations 2024-02-23 05:01:45
janus-swi 1.1.4 Janus library to call SWI-Prolog 2024-02-22 15:29:58
omega 0.4.0 Symbolic algorithms for solving games of infinite duration. 2024-02-16 15:25:15
uplogic 2.1 Uplogic utility for UPBGE. 2024-02-16 10:12:42
classical-logic 0.1.1 Python package for propositional logic. 2024-02-14 05:09:38
unified-planning 1.1.0 Unified Planning Framework 2024-02-09 09:53:55
is-bigger 0.2.1 A package to compare two integers 2024-02-08 15:23:53
implies 0.4.5 A parser for logical formulas 2024-01-26 21:50:28
smcplaus 1.1.5 A symbolic model checker for the single-agent plausibility models of dynamic epistemic logic 2024-01-08 15:26:59
json-criteria 0.1.2 Python library designed for evaluating data against serializable JSON criteria 2024-01-05 02:40:43
schemdraw 0.18 Electrical circuit schematic drawing 2023-12-29 19:10:44
logicgate 0.3.0 an esolang designed for manual encryption with logic gates 2023-12-06 09:42:23
PDDL-Prover 1.0.0 A python prover for evaluating FOL formulas on PDDL 2023-11-22 00:22:50
pyeda 0.29.0 Python Electronic Design Automation 2023-11-19 17:38:55
truth-table-generator 2.0.0 Python API that auto generates truth tables 2023-11-08 22:50:54
hourdayweektotal
10314349515192284
Elapsed time: 0.88921s