chad-fast - An implementation of CHAD, towards performance

Branch	Commit message	Author	Age
fusion	WIP fusion stuff	Tom Smeding	2 months
hashable-gadt	Some non-working code lol	Tom Smeding	12 months
master	UnMonoid: EAccum is an interesting case	Tom Smeding	11 days
multihot-cotangents	WIP	Tom Smeding	9 days
qualified-contdo	Rewrite CPSy code as do-code using QualifiedDo	Tom Smeding	4 months
recompute-primalstores	WIP: Store subset of D1 Gamma for recompute at binding sites	Tom Smeding	24 hours
test-catch-exc	WIP exception catching in test-framework	Tom Smeding	11 months
test-parallel	WIP parallel test suite	Tom Smeding	8 months
user-types	WIP user-specified custom types	Tom Smeding	3 months


Age	Commit message	Author
24 hours	WIP: Store subset of D1 Gamma for recompute at binding sitesrecompute-primalstores	Tom Smeding
11 days	UnMonoid: EAccum is an interesting caseHEAD master	Tom Smeding
11 days	Remove spurious work duplication in unMonoid EAccum	Tom Smeding
2026-02-08	Use helper methods in UnMonoid(plus)	Tom Smeding
2026-02-08	Remove sparsePlus, it's just EPlus on applySparse	Tom Smeding
2026-01-26	Optimise eflatten	Tom Smeding
2025-12-10	Import CHAD.Language also qualified as L in Example	Tom Smeding
2025-11-26	APIv1: Some fixes	Tom Smeding
2025-11-22	Add a simplify rule	Tom Smeding
2025-11-22	Remove redundant test dependency	Tom Smeding
[...]