Search 6 packages
| Packages1–6 of 6 | Version | Risk | Vulns | Description | Downloads | When |
|---|
| leanelpi cargo | | – 0.3.3 did not build | – | Rust bindings for LeanElpi, the ELPI dialect of λProlog implemented in Lean 4 | 42 | 1d ago |
| rucc-codegen cargo | 0.30.9 | none | none | Instruction selection, scheduling, block layout, frames and prologue emission. | 2.9K | 1d ago |
| prolog-squared cargo | 1.5.0 | none | high | A Meta-Interpretive Learning framework implementing second-order SLD resolution | 216 | 1d ago |
| wasm4pm-planner cargo | | – 26.10.11 did not build | – | wasm4pm-native PDDL-subset temporal planner with prolog8 admission gating and an MCP server — a fresh design (not a port) drawing on lessons from bcinr-pddl's… | 7 | 6d ago |
| wasm4pm-cognition cargo | 26.10.11 | none | none | AutoSystems old-AI cognition kernel for wasm4pm: frames, production rules, Prolog, STRIPS, Hearsay-II blackboard, BLAKE3 receipt chain, adversarial gates | 7.5K | 6d ago |
| prolog8 cargo | 26.10.11 | none | none | Prolog8 — byte-capped proof engine for policy, workflow, and agent action admission | 14K | 6d ago |
