puffnfresh/Idris-dev
A Dependently Typed Functional Programming Language
Public GitHub Catalog
Discovered Sep 24, 2026
puffnfresh / fsharpbinding
F# language binding for MonoDevelop
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.
#1096145GitHub System ID
puffnfreshOrganization / User
PublicVisibility
ActiveCatalog Status
More from puffnfresh
puffnfresh/false
A JavaScript port of the Unix utility 'false'. Returns the Boolean value `false`
puffnfresh/resume.github.com
Resumes generated using the GitHub informations
puffnfresh/purescript
A small strongly, statically typed compile-to-JS language with basic extensible records and type-safe blocks