Data

Tools

Indexes

Applications

Experiments

Open Source Science

https://github.com/alexkontorovich/realanalysisgame

RealAnalysisGame

https://github.com/alexkontorovich/realanalysisgame

Science Score: 26.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ○
    CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ✓
    .zenodo.json file
    Found .zenodo.json file
  • ○
    DOI references
  • ○
    Academic publication links
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (2.6%) to scientific vocabulary
Last synced: 10 months ago · JSON representation

Repository

RealAnalysisGame

Basic Info
Statistics
  • Stars: 0
  • Watchers: 0
  • Forks: 1
  • Open Issues: 0
  • Releases: 0
Created 11 months ago · Last pushed 10 months ago
Metadata Files
Readme License

README.md

Real Analysis, The Game

This is a game for lean4game.

The documentation about how to use this are at the lean4game repository:

Owner

  • Login: AlexKontorovich
  • Kind: user

GitHub Events

Total
  • Issues event: 2
  • Watch event: 3
  • Issue comment event: 4
  • Push event: 44
  • Pull request review event: 4
  • Pull request review comment event: 1
  • Pull request event: 8
  • Fork event: 2
  • Create event: 1
Last Year
  • Issues event: 2
  • Watch event: 3
  • Issue comment event: 4
  • Push event: 44
  • Pull request review event: 4
  • Pull request review comment event: 1
  • Pull request event: 8
  • Fork event: 2
  • Create event: 1

Issues and Pull Requests

Last synced: 10 months ago

All Time
  • Total issues: 0
  • Total pull requests: 5
  • Average time to close issues: N/A
  • Average time to close pull requests: about 2 hours
  • Total issue authors: 0
  • Total pull request authors: 3
  • Average comments per issue: 0
  • Average comments per pull request: 0.2
  • Merged pull requests: 4
  • Bot issues: 0
  • Bot pull requests: 0
Past Year
  • Issues: 0
  • Pull requests: 5
  • Average time to close issues: N/A
  • Average time to close pull requests: about 2 hours
  • Issue authors: 0
  • Pull request authors: 3
  • Average comments per issue: 0
  • Average comments per pull request: 0.2
  • Merged pull requests: 4
  • Bot issues: 0
  • Bot pull requests: 0
View more stats
Top Authors
Issue Authors
Pull Request Authors
  • joneugster (3)
  • huntse (1)
  • AlexKontorovich (1)
Top Labels
Issue Labels
Pull Request Labels

Dependencies

.github/workflows/deploy.yml actions
  • JamesIves/github-pages-deploy-action v4 composite
  • actions/checkout v4 composite
  • actions/setup-node v4 composite
RealAnalysisGame/.devcontainer/Dockerfile docker
  • node 20 build
RealAnalysisGame/.devcontainer/docker-compose.yml docker
RealAnalysisGame/.docker/gitpod/Dockerfile docker
  • ubuntu 22.04 build
lean4game/package-lock.json npm
  • 1358 dependencies
lean4game/package.json npm
  • @pmmmwh/react-refresh-webpack-plugin ^0.5.10 development
  • @redux-devtools/core ^3.13.1 development
  • @testing-library/react ^13.4.0 development
  • @types/debounce ^1.2.1 development
  • @types/express ^5.0.2 development
  • @types/ws ^8.18.1 development
  • concurrently ^7.6.0 development
  • css-loader ^6.7.3 development
  • cypress ^14.5.0 development
  • file-loader ^6.2.0 development
  • i18next-scanner ^4.4.0 development
  • nodemon ^3.0.1 development
  • react-refresh ^0.14.0 development
  • style-loader ^3.3.1 development
  • ts-loader ^9.4.2 development
  • typescript ^4.9.4 development
  • url-loader ^4.1.1 development
  • @babel/plugin-transform-optional-chaining ^7.23.0
  • @emotion/react ^11.10.5
  • @emotion/styled ^11.10.5
  • @fontsource/roboto ^4.5.8
  • @fontsource/roboto-mono ^4.5.8
  • @fortawesome/fontawesome-svg-core ^6.5.1
  • @fortawesome/free-regular-svg-icons ^6.5.1
  • @fortawesome/free-solid-svg-icons ^6.5.1
  • @fortawesome/react-fontawesome ^0.2.0
  • @leanprover/infoview ^0.4.3
  • @mui/icons-material ^5.11.0
  • @mui/material ^5.11.1
  • @reduxjs/toolkit ^1.9.1
  • @types/cytoscape ^3.19.9
  • @types/got ^9.6.12
  • @types/react-router-dom ^5.3.3
  • @vitejs/plugin-react-swc ^3.4.0
  • cross-env ^7.0.3
  • cytoscape ^3.23.0
  • cytoscape-elk ^2.1.0
  • cytoscape-klay ^3.1.4
  • debounce ^1.2.1
  • express ^4.18.2
  • got ^14.4.6
  • i18next ^23.10.1
  • i18next-http-backend ^2.5.0
  • i18next-scanner-typescript ^1.2.0
  • lean4-infoview https://gitpkg.now.sh/leanprover/vscode-lean4/lean4-infoview?de0062c
  • lean4web github:hhu-adam/lean4web#414d9e62638a392fca278761b4c61a1d2e138bc7
  • node-schedule ^2.1.1
  • octokit ^4.1.2
  • path-browserify ^1.0.1
  • react ^18.2.0
  • react-country-flag ^3.1.0
  • react-dom ^18.2.0
  • react-i18next ^14.1.0
  • react-markdown ^8.0.4
  • react-native ^0.72.3
  • react-redux ^8.0.5
  • react-router-dom ^6.5.0
  • react-split ^2.0.14
  • rehype-katex ^6.0.2
  • remark-gfm ^3.0.1
  • remark-math ^5.1.1
  • uuid ^11.1.0
  • vite ^6.2.0
  • vite-plugin-static-copy 2.3.0
  • vite-plugin-svgr ^4.3.0
  • vscode-ws-jsonrpc ^2.0.1
  • web-worker ^1.2.0
  • ws ^8.18.1