A
licenseNot graded
qualityD
maintenanceA server for the Magma mathematical computing system that uses RAG to retrieve concepts from the Magma Handbook and generate Magma code.
ISC
110,470 servers. Updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly npm Downloads ↓
Weekly PyPI Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓