Search

2 results for “josd”

1. 

   josd @josd

   2026-10-08

   Gent

2. 

   josd @josd

   2026-10-06

   https://github.com/eyereasoner/peye

   A standalone, dependency-free Python rule language with forward and backward reasoning and checkable proofs.

   ▶️ Playground: https://eyereasoner.github.io/peye/playground/
   📚 Examples: https://eyereasoner.github.io/peye/examples/
   🃏 Decks: https://eyereasoner.github.io/peye/examples/deck/
   📜 Spec: https://eyereasoner.github.io/peye/SPEC
   ✅ Conformance suite: https://eyereasoner.github.io/peye/playground/conformance.html
   📦 PyPI: https://pypi.org/project/peye/