Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / 5eqn / proof-cat
A drag-and-drop proof assistant inspired by Scratch.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/5eqn%2Fproof-cat
Stars: 6
Forks: 0
Open Issues: 6
License: None
Language: TypeScript
Repo Size: 492 KB
Dependencies:
1,379
Created: 5 months ago
Updated: 4 months ago
Last pushed: 4 months ago
Last synced: 20 days ago
Topics: dependent-types, drag-and-drop, functional-programming, proof-assistant, typescript-react, visual-programming-language
Files
Loading...
Readme
Loading...
Dependencies
.github/workflows/deploy.yml
actions
- actions/checkout v3 composite
- actions/configure-pages v3 composite
- actions/deploy-pages v1 composite
- actions/setup-node v3 composite
- actions/upload-pages-artifact v1 composite
package.json
npm
- @types/lodash.clonedeep ^4.5.9 development
- react-test-renderer ^18.2.0 development
- @babel/plugin-proposal-private-property-in-object ^7.21.11
- @dnd-kit/core ^6.1.0
- @testing-library/jest-dom ^5.17.0
- @testing-library/react ^13.4.0
- @testing-library/user-event ^13.5.0
- @types/jest ^27.5.2
- @types/node ^16.18.70
- @types/react ^18.2.47
- @types/react-dom ^18.2.18
- antd ^5.12.8
- cognitive-complexity-ts ^0.6.5
- immer ^10.0.3
- lodash.clonedeep ^4.5.0
- punycode ^2.3.1
- react ^18.2.0
- react-dom ^18.2.0
- react-scripts 5.0.1
- typescript ^4.9.5
- use-immer ^0.9.0
- valtio ^1.13.0
- web-vitals ^2.1.4