mmirman/lambda-placeholders
A Haskell library to emulate Scala's placeholder syntax feature.
Public GitHub Catalog
Discovered Sep 26, 2026
mmirman / ollibot
An implementation of substructural intuitionistic logic focused on forward chaining
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.
#7141056GitHub System ID
mmirmanOrganization / User
PublicVisibility
ActiveCatalog Status
More from mmirman
mmirman/lethargic-python
Non-strict, finite thunk pool lazyness for python.
mmirman/octocat-3d
I wanted an octocat toy but couldn't find one. So I made one. Sorta.
mmirman/mops
Monads and Sums in python