kmate/poker-player-haskell
Haskell client skeleton for Lean Poker
Distributed Network Coding-based Opportunistic Routing for Multicast
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Haskell client skeleton for Lean Poker
A library for the analysis and creation of Graphviz DOT files
Some crappy code for highlighting Agda
Haskell code presentation tool