Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / tbitai / ruzsa
Analytic tableau proof editor for Tarski's World
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/tbitai%2Fruzsa
Stars: 3
Forks: 1
Open Issues: 2
License: None
Language: JavaScript
Repo Size: 1.17 MB
Dependencies:
1,236
Created: about 8 years ago
Updated: 9 months ago
Last pushed: over 3 years ago
Last synced: 9 months ago
Topics: analytic-tableaux, education, fitch, language-proof-and-logic, logic, lpl, tarski
Files
Loading...
Readme
Loading...
Dependencies
package.json
npm
- @babel/core 7.10.5 development
- @babel/preset-env 7.10.4 development
- @rollup/plugin-babel 5.1.0 development
- @rollup/plugin-commonjs 14.0.0 development
- @rollup/plugin-json 4.1.0 development
- @rollup/plugin-node-resolve 8.4.0 development
- http-server 0.12.3 development
- netlify-cli 2.58.0 development
- node-sass 4.14.1 development
- rollup 2.23.0 development
- rollup-plugin-clear 2.0.7 development
- rollup-plugin-copy 3.3.0 development
- rollup-plugin-execute 1.1.1 development
- rollup-plugin-jison 0.1.0 development
- rollup-plugin-livereload 1.3.0 development
- rollup-plugin-serve 1.0.3 development
- rollup-plugin-terser 6.1.0 development
- angular 1.8.0
- angular-animate 1.8.0
- angular-aria 1.8.0
- angular-cookies 1.8.0
- angular-material 1.2.1
- angular-messages 1.8.0
- angular-sanitize 1.8.0
- angular-translate 2.18.3
- angular-translate-storage-cookie 2.18.3
- angular-tree-repeat https://github.com/tbitai/angular-tree-repeat/tarball/npm
- dejavu-fonts-ttf 2.37.3
- downloadjs 1.4.7
- jquery 3.5.1
- lodash 4.17.19
- material-design-icons 3.0.1
- roboto-fontface 0.10.0
- semver 7.3.2
- Sphinx ==3.4.1
- recommonmark ==0.7.1