Bodigrim/logict
A continuation-based backtracking logic programming monad
GitHub repository with 99 stars and 14 forks.
Language: Haskell
Topics: backtracking, logic-programming, logict, monad-transformers
A continuation-based backtracking logic programming monad
GitHub repository with 99 stars and 14 forks.
Language: Haskell
Topics: backtracking, logic-programming, logict, monad-transformers
Trending score 0.06, freshness score 0.26, stars gained +0, forks gained +0.
2026-11-15: 99 stars and 14 forks.
types for representing structured documents
GitHub repository with 123 stars and 68 forks.
Trending score: 0.00; stars gained: +0; forks gained: +0.
Language: Haskell