Name	Name	Last commit message	Last commit date
Latest commit renovate[bot] Lock file maintenance (#764 ) Mar 24, 2025 190949f · Mar 24, 2025 History 805 Commits
.github/workflows	.github/workflows	Migrate to Biome (#682 )	Sep 17, 2024
.vscode	.vscode	Update VSCode settings (#725 )	Dec 2, 2024
public	public	全てを再構築 (#12 )	Feb 28, 2023
src	src	Add `notes-on-kripke-incomplete-modal-logic` (#756 )	Feb 14, 2025
.editorconfig	.editorconfig	Migrate to Biome (#682 )	Sep 17, 2024
.gitignore	.gitignore	Recreate (#709 )	Nov 16, 2024
.node-version	.node-version	Update Node.js to v22.14.0 (#760 )	Mar 1, 2025
LICENSE	LICENSE	README.md and LICENSE	Mar 15, 2022
README.md	README.md	Update README.md	Oct 26, 2022
astro.config.mjs	astro.config.mjs	Recreate (#709 )	Nov 16, 2024
biome.jsonc	biome.jsonc	Recreate (#709 )	Nov 16, 2024
package-lock.json	package-lock.json	Lock file maintenance (#764 )	Mar 24, 2025
package.json	package.json	Update dependency @astrojs/svelte to v6 (#717 )	Nov 29, 2024
renovate.json	renovate.json	Renovateを隔月実行に	Jan 23, 2025
svelte.config.mjs	svelte.config.mjs	add Prettier and ESLint (#20 )	Feb 28, 2023
tailwind.config.mjs	tailwind.config.mjs	Recreate (#709 )	Nov 16, 2024
tsconfig.json	tsconfig.json	add Prettier and ESLint (#20 )	Feb 28, 2023

Provide feedback

Saved searches