F
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.
-
82,975 servers. Updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓