ndmitchell/winhaskell
Windows Haskell GUI interpretter
Public GitHub Catalog
Discovered Sep 28, 2026
ndmitchell / proposition
Haskell library for manipulating propositions.
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.
#13496198GitHub System ID
ndmitchellOrganization / User
PublicVisibility
ActiveCatalog Status
More from ndmitchell
ndmitchell/website
My personal website
ndmitchell/thesis
My PhD thesis - Transformation and Analysis of Functional Programs
ndmitchell/tex2hs
A program to check for type errors in a Latex document