CakeML / CakeML/cakeml

More bignum options

Open
#781 0 comments 0 reactions 0 assignees View on GitHub
enhancement high effort low reward performance
Dominant language
Standard ML
Stars
1.2k
Forks
104
Avg merge
2d 21h
Merged PRs (30d)
16

Description

I don't have a great use case for this, but very big numbers are nice in demos and I'm not sure a verified implementation of Schönhage-Strassen exists right now.

Contributor guide

No contributing guide indexed for this repository

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.