https://github.com/mathlingua/mathlingua
information-systems languages mathematics
Score: -Infinity
Last synced: about 4 hours ago
JSON representation
Repository metadata:
Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written, read, and understood by both people and computers.
- Host: GitHub
- URL: https://github.com/mathlingua/mathlingua
- Owner: mathlingua
- License: apache-2.0
- Created: 2019-08-20T18:04:27.000Z (about 7 years ago)
- Default Branch: main
- Last Pushed: 2026-08-24T07:01:35.000Z (5 days ago)
- Last Synced: 2026-08-24T16:34:40.251Z (4 days ago)
- Topics: information-systems, languages, mathematics
- Language: Rust
- Homepage: http://www.mathlingua.org
- Size: 26.4 MB
- Stars: 71
- Watchers: 3
- Forks: 1
- Open Issues: 4
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Owner metadata:
- Name: Mathlingua
- Login: mathlingua
- Email: DominicKramer@gmail.com
- Kind: organization
- Description: Mathlingua is a language designed to build an open, collaborative repository to record, communicate, and share mathematical knowledge
- Website:
- Location:
- Twitter:
- Company:
- Icon url: https://avatars.githubusercontent.com/u/119841938?v=4
- Repositories: 1
- Last Synced at: 2023-04-05T06:30:41.695Z
- Profile URL: https://github.com/mathlingua
GitHub Events
Total
- Create event: 2
- Push event: 128
- Total: 130
Last Year
- Create event: 2
- Push event: 108
- Total: 110
Committers metadata
Last synced: 2 days ago
Total Commits: 2,304
Total Committers: 3
Avg Commits per committer: 768.0
Development Distribution Score (DDS): 0.002
Commits in past year: 384
Committers in past year: 1
Avg Commits per committer in past year: 384.0
Development Distribution Score (DDS) in past year: 0.0
| Name | Commits | |
|---|---|---|
| Dominic Kramer | D****r@g****m | 2300 |
| dependabot[bot] | 4****] | 3 |
| Parallels | p****s@d****n | 1 |
Issue and Pull Request metadata
Last synced: 1 day ago
Total issues: 0
Total pull requests: 100
Average time to close issues: N/A
Average time to close pull requests: 6 days
Total issue authors: 0
Total pull request authors: 2
Average comments per issue: 0
Average comments per pull request: 0.14
Merged pull request: 87
Bot issues: 0
Bot pull requests: 15
Past year issues: 0
Past year pull requests: 1
Past year average time to close issues: N/A
Past year average time to close pull requests: 21 days
Past year issue authors: 0
Past year pull request authors: 1
Past year average comments per issue: 0
Past year average comments per pull request: 0.0
Past year merged pull request: 1
Past year bot issues: 0
Past year bot pull requests: 0
Top Issue Authors
Top Pull Request Authors
- DominicKramer (85)
- dependabot[bot] (15)
Top Issue Labels
Top Pull Request Labels
- dependencies (15)
- go (2)
- javascript (1)
Package metadata
- Total packages: 1
- Total downloads: unknown
- Total dependent packages: 0
- Total dependent repositories: 0
- Total versions: 13
proxy.golang.org: github.com/mathlingua/mathlingua
- Homepage:
- Documentation: https://pkg.go.dev/github.com/mathlingua/mathlingua#section-documentation
- Licenses: apache-2.0
- Latest release: v0.22.0 (published over 2 years ago)
- Last Synced: 2026-08-27T18:07:39.616Z (1 day ago)
- Versions: 13
- Dependent Packages: 0
- Dependent Repositories: 0
-
Rankings:
- Dependent packages count: 5.171%
- Dependent repos count: 5.518%
- Stargazers count: 6.217%
- Average: 7.429%
- Forks count: 12.809%
Dependencies
- @testing-library/jest-dom ^5.14.1
- @testing-library/react ^13.0.0
- @testing-library/user-event ^13.2.1
- @types/jest ^27.0.1
- @types/node ^16.7.13
- @types/react ^18.0.0
- @types/react-dom ^18.0.0
- react ^18.2.0
- react-dom ^18.2.0
- react-markdown ^8.0.3
- react-scripts 5.0.1
- rehype-katex ^6.0.2
- remark-gfm ^3.0.1
- remark-math ^5.1.1
- rsuite ^5.21.0
- typescript ^4.4.2
- usehooks-ts ^2.9.1
- web-vitals ^2.1.0
- 193 dependencies
- 124 dependencies