jgreene/idris-html
Parse and Generate HTML from Idris
Public GitHub Catalog
Discovered Oct 1, 2026
jgreene / Helium
Happy Haskell Hacking with Atom and ghc-mod
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.
#22041296GitHub System ID
jgreeneOrganization / User
PublicVisibility
ActiveCatalog Status
More from jgreene
jgreene/angularUtils
A place where I will collect useful re-usable Angular components that I make
jgreene/ansible
Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy. Avoid writing scripts or custom code to deploy and update your applications— automate in a language that approaches plain English, using SSH, with no agents to install on remote systems.
jgreene/cabot
Self-hosted, easily-deployable monitoring and alerts service - like a lightweight PagerDuty