Lean-game-maker
Lean-game-maker copied to clipboard
mpedramfar
This project converts structured Lean code into an interactive browser game.
This removes the bundled lean servers in favor of downloading newer versions directly from github. Alternatively, the user may also explicitly specify a folder from which to get the lean...
Bumps [json5](https://github.com/json5/json5) to 1.0.2 and updates ancestor dependency [html-webpack-plugin](https://github.com/jantimon/html-webpack-plugin). These dependencies need to be updated together. Updates `json5` from 1.0.1 to 1.0.2 Release notes Sourced from json5's releases. v1.0.2 Fix:...
![dependabot[bot] avatar](https://avatars.githubusercontent.com/in/29110?v=4 "dependabot[bot] avatar"){kind=avatar}
Bumps [json5](https://github.com/json5/json5) to 2.2.3 and updates ancestor dependencies [json5](https://github.com/json5/json5), [webpack](https://github.com/webpack/webpack), [copy-webpack-plugin](https://github.com/webpack-contrib/copy-webpack-plugin), [html-webpack-plugin](https://github.com/jantimon/html-webpack-plugin), [ts-loader](https://github.com/TypeStrong/ts-loader), [webpack-cli](https://github.com/webpack/webpack-cli) and [worker-loader](https://github.com/webpack-contrib/worker-loader). These dependencies need to be updated together. Updates `json5` from 0.5.1 to 2.2.3 Release...
Bumps [decode-uri-component](https://github.com/SamVerschueren/decode-uri-component) from 0.2.0 to 0.2.2. Release notes Sourced from decode-uri-component's releases. v0.2.2 Prevent overwriting previously decoded tokens 980e0bf https://github.com/SamVerschueren/decode-uri-component/compare/v0.2.1...v0.2.2 v0.2.1 Switch to GitHub workflows 76abc93 Fix issue where decode...
Bumps [loader-utils](https://github.com/webpack/loader-utils) to 1.4.2 and updates ancestor dependency [html-webpack-plugin](https://github.com/jantimon/html-webpack-plugin). These dependencies need to be updated together. Updates `loader-utils` from 1.4.0 to 1.4.2 Release notes Sourced from loader-utils's releases. v1.4.2 1.4.2...
Bumps [d3-color](https://github.com/d3/d3-color) to 3.1.0 and updates ancestor dependencies [d3-color](https://github.com/d3/d3-color), [d3](https://github.com/d3/d3) and [force-graph](https://github.com/vasturiano/force-graph). These dependencies need to be updated together. Updates `d3-color` from 1.4.0 to 3.1.0 Release notes Sourced from d3-color's...
It's not clear to me whether ignoring errors is deliberate here.
Bumps [terser](https://github.com/terser/terser) from 4.8.0 to 4.8.1. Changelog Sourced from terser's changelog. v4.8.1 (backport) Security fix for RegExps that should not be evaluated (regexp DDOS) Commits See full diff in compare...
Bumps [async](https://github.com/caolan/async) from 2.6.3 to 2.6.4. Changelog Sourced from async's changelog. v2.6.4 Fix potential prototype pollution exploit (#1828) Commits c6bdaca Version 2.6.4 8870da9 Update built files 4df6754 update changelog 8f7f903...
Metadata
Owner
Metadata
This project converts structured Lean code into an interactive browser game.