Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / ccnmtl / logiclearner
Logic Learner is an online learning tool that helps computer science, engineering, and mathematics students improve their fluency and problem solving process in writing proofs for propositional logic.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/ccnmtl%2Flogiclearner
Stars: 4
Forks: 1
Open Issues: 2
License: gpl-3.0
Language: TypeScript
Repo Size: 6.35 MB
Dependencies:
1,088
Created: over 2 years ago
Updated: 30 days ago
Last pushed: about 1 month ago
Last synced: about 1 month ago
Files
Loading...
Readme
Loading...
Dependencies
docker-compose.yml
docker
- actions/checkout v2 composite
- github/codeql-action/analyze v2 composite
- github/codeql-action/autobuild v2 composite
- github/codeql-action/init v2 composite
Dockerfile
docker
- ccnmtl/django.base latest build
- actions/checkout v3 composite
- actions/setup-python v4 composite
requirements.txt
pypi
- Django >=3.2.14,<4
- Markdown ==3.4.1
- aiocontextvars ==0.2.2
- asgiref ==3.7.1
- astroid ==2.15.0
- bandit ==1.7.0
- beautifulsoup4 ==4.12.0
- boto3 >=1.9.198,<1.29.0
- botocore >=1.12.198,<1.32.0
- ccnmtlsettings ==1.9.5
- certifi ==2023.7.22
- cffi ==1.15.1
- chardet ==5.2.0
- configparser ==6.0.0
- coverage ==7.3.0
- cryptography ==41.0.0
- cssselect ==1.2.0
- django-annoying ==0.10.6
- django-appconf ==1.0.5
- django-cacheds3storage ==0.3.0
- django-cas-ng ==5.0.0
- django-compressor >=3.1,<4.0
- django-contact-us ==1.1.0
- django-debug-toolbar ==4.2.0
- django-extensions ==3.2.0
- django-flatblocks ==1.0.0
- django-ga-context ==0.1.0
- django-impersonate ==1.9.1
- django-indexer ==0.3.0
- django-infranil ==1.1.0
- django-markwhat ==1.6.2
- django-paging ==0.2.5
- django-s3sign <=0.4.0
- django-smoketest ==1.2.0
- django-smtp-ssl ==1.0
- django-stagingcontext ==0.1.0
- django-statsd-mozilla ==0.4.0
- django-storages ==1.13
- django-taggit ==4.0.0
- django-templatetag-sugar ==1.0
- django-waffle ==4.0.0
- djangorestframework ==3.14.0
- edtf ==4.0.1
- entrypoints ==0.4
- factory_boy ==3.3.0
- faker ==19.6.0
- feedparser ==6.0.8
- flake8 ==6.1.0
- fuzzywuzzy ==0.18.0
- gunicorn ==21.2.0
- httplib2 ==0.22.0
- idna ==3.4
- importlib-metadata <6.9
- ipaddress ==1.0.23
- jmespath ==1.0.0
- lark ==1.1.2
- ldap3 ==2.9.1
- levenshtein ==0.21.0
- logiclearnertools ==0.1.9
- lxml ==4.9.3
- mccabe ==0.7.0
- mpmath ==1.3.0
- nameparser ==1.1.0
- ndg-httpsclient ==0.5.1
- numpy <1.27
- oauth2 ==1.9.0.post1
- oauthlib ==3.2.0
- pbr ==5.11.0
- pep8 ==1.7.1
- psycopg2 ==2.9.3
- pyOpenSSL ==23.2.0
- pyasn1 ==0.5.0
- pycodestyle ==2.11.0
- pyflakes ==3.1.0
- pylint ==2.17.0
- pyparsing ==3.1.0
- python-cas ==1.6.0
- python-dateutil ==2.8.2
- pytz ==2023.3
- pyyaml ==6.0
- rapidfuzz ==3.3.0
- raven ==6.10.0
- rcssmin ==1.1.0
- requests ==2.31.0
- rjsmin ==1.2.0
- s3transfer ==0.6.0
- sentry-sdk ==1.31.0
- six ==1.16.0
- sqlparse ==0.4.2
- statsd ==4.0.1
- stevedore ==5.1.0
- sure ==2.0.0
- sympy ==1.12
- text_unidecode ==1.3
- torch ==2.0.1
- tornado ==6.3
- typing ==3.7.4.1
- typing_extensions ==4.8.0
- urllib3 ==2.0.5
- versiontools ==1.9.1
- zipp ==3.17.0
package.json
npm
- @babel/cli ^7.15.4 development
- @babel/core ^7.15.5 development
- @babel/plugin-proposal-class-properties ^7.14.5 development
- @babel/preset-env ^7.15.6 development
- @babel/preset-react ^7.14.5 development
- @babel/preset-typescript ^7.15.0 development
- @testing-library/jest-dom ^5.14.1 development
- @testing-library/react ^14.0.0 development
- @types/jest ^27.0.1 development
- @types/react ^18.0.4 development
- @types/react-dom ^18.0.0 development
- @typescript-eslint/eslint-plugin ^6.0.0 development
- @typescript-eslint/parser ^6.0.0 development
- axe-core ^4.1.4 development
- css-loader ^6.2.0 development
- cypress ^13.1.0 development
- cypress-axe ^1.0.0 development
- eslint ^8.1.0 development
- eslint-plugin-cypress ^2.12.1 development
- eslint-plugin-react ^7.25.1 development
- eslint-plugin-security ^1.4.0 development
- jest ^27.2.0 development
- mini-css-extract-plugin ^2.3.0 development
- postcss-loader ^7.0.0 development
- sass ^1.27.0 development
- sass-loader ^13.0.0 development
- start-server-and-test ^2.0.0 development
- style-loader ^3.2.1 development
- ts-jest ^27.0.5 development
- ts-loader ^9.0.0 development
- webpack ^5.52.1 development
- webpack-cli ^5.0.0 development
- whatwg-fetch 3.6.2 development
- @popperjs/core ^2.11.2
- babel-loader ^9.0.1
- bootstrap ^5.1.1
- postcss ^8.1.2
- precss ^4.0.0
- react ^18.1.0
- react-dom ^18.1.0
- react-ga4 ~2.1.0
- react-router-dom ^6.0.2
- typescript ^4.4.3