tranchis/modallogic
Modal Logic Playground
Public GitHub Catalog
Discovered Sep 24, 2026
tranchis / wire
Watch - Interpret - Reason - Enforce
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#1346288GitHub System ID
tranchisOrganization / User
PublicVisibility
ActiveCatalog Status
More from tranchis
tranchis/clojure-style-guide
A community coding style guide for the Clojure programming language
tranchis/hiprepl
A Clojure REPL bot for Atlassian HipChat
tranchis/lein-margauto
Leiningen plugin: Autobuilder and simple server for Marginalia documentation.