Projects in Awesome Lists tagged with logict
A curated list of projects in awesome lists tagged with logict .
https://github.com/bodigrim/logict
A continuation-based backtracking logic programming monad
backtracking logic-programming logict monad-transformers
Last synced: 16 May 2025
https://github.com/dagit/logict-sequence
A variation of the LogicT monad with better asymptotics from the Reflection without Remorse paper
Last synced: 26 Jul 2025
