Hugging Face's logo

Snapkitty
/
unlambda-idris-spark

snapkitty
october-2026-drop
unlambda
idris
ats
ada
spark
lambda-calculus
formal-verification
Model card Files
xet
 Community
unlambda-idris-spark / SUPPORT.md
SNAPKITTYWEST's picture
SNAPKITTYWEST
October 2026 main drop: mirror from GitHub
d8df231 verified
preview code
|
Raw History Blame Contribute Delete
1.1 kB

Support and donations

Donate

The maintainer has not provided a verified donation destination yet. The badge links to support information and the maintainer profile; it does not initiate a payment. No payment account, donation URL, or GitHub Sponsors enrollment is assumed. A funding link and .github/FUNDING.yml can be added when the owner confirms the destination.

You can help now by reviewing the handwritten derivations, reproducing CI, improving specifications, or contributing tests and the open runtime/heap implementation work. Start with CONTRIBUTING.md.

Future donations would support project work; they would not purchase a commercial license, security SLA, or proof of production readiness. Commercial inquiries belong in COMMERCIAL-LICENSING.md.