CakeML/cakeml Issues

Stars: (1,169 stars)
Forks: (98 forks)
Indexed issues: (39 indexed issues)
open beginner issues: (39 open beginner issues)
Latest indexed: Aug 14, 2026
Last GitHub push: Jul 24, 2026
License: BSD 3-Clause "New" or "Revised" License
Contributing guide: No contributing guide
Code of conduct: Code of conduct
Dominant language: Standard ML
PR merge metrics: (PR metrics pending)
Beginner labels: help wantedgood first issue

Issues

0 closed indexed issues

No closed indexed issues found for this repository.