Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with agent-types

A curated list of projects in awesome lists tagged with agent-types .

https://github.com/m4lvin/mchlpe

🕵️🤥 A Model Checker for the Hardest Logic Puzzle Ever

agent-types epistemic-logic haskell model-checking puzzle

Last synced: 14 Oct 2024