tranchis/modallogic
Modal Logic Playground
Public GitHub Catalog
Discovered Sep 29, 2026
tranchis / tranchis.github.io
Public repository discovered through GitHub real-time crawl.
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.
#14275266GitHub 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.