bitonic/tog
Public repository.
Virtual Haskell Environment builder
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Public repository.
Agda is a dependently typed programming language / interactive theorem prover. Bug tracker: https://code.google.com/p/agda/issues/list
2048 + AI in Haskell
Mid-level client library for accessing PostgreSQL from Haskell