added .claude/ (by popular demand) and .gemini/

.github/workflows/stale.yml

@@ -21,10 +21,10 @@ jobs:
     steps:
       - uses: actions/stale@5bef64f19d7facfb25b37b414482c7164d639639 # v9.1.0
         with:
-          stale-pr-message: 'This PR is stale because there have been no updates in 90 days. It will close after 365 days of inactivity. Leave a comment if you want to keep it open.'
+          stale-pr-message: 'This PR is stale because there have been no updates in 90 days. It will close after 180 days of inactivity. Leave a comment if you want to keep it open :smile:'
-          close-pr-message: 'This PR has been closed because it was inactive for 365 days. If you want to continue working on it, please open a new PR.'
+          close-pr-message: 'This PR has been closed because it was inactive for 180 days. If you want to continue working on it, please open a new PR.'
           days-before-stale: 90
-          days-before-close: 365
+          days-before-close: 180
           stale-pr-label: 'stale'
           exempt-pr-labels: 'keep'
           close-issue-reason: not_planned

Agda.gitignore

@@ -1,2 +1,2 @@
 *.agdai
-**/MAlonzo/**
+MAlonzo/**

Agents.gitignore

@@ -0,0 +1,52 @@
+# AI Agents / Assistants
+AGENTS.md
+GEMINI.md
+WARP.md
+CRUSH.md
+.warp/
+.crush/
+.codeium/
+.deepseek/
+.amazon-codewhisperer/
+
+# Cursor AI (VS Code fork)
+.cursorrules
+.cursor/
+.cursor.json
+.cursor-settings.yaml
+
+# Tabnine AI - per official docs
+.tabnineignore
+.tabnine/
+
+# Continue.dev (Open source AI assistant)
+.continue/
+.continuerc.json
+
+# Aider AI (Terminal-based)
+.aiderignore
+
+# Qwen Code CLI
+QWEN.md
+
+# Claude code
+.claude/
+
+# (purely optional) Gemini settings folder
+.gemini/
+
+# Cline AI Assistant (trending, user configs similar to Cursor/Continue)
+.cline/
+.clinerules
+cline.json
+
+# GitHub Copilot - does not create repo-local files by default
+# .github/copilot-instructions.md
+
+# Windsurf Editor (Agentic IDE) - usually intentional project configs
+# .windsurfrules
+# .windsurf/
+
+# Replit AI Development - usually intentional project configs
+# .replit
+# replit.nix

C++.gitignore

@@ -21,8 +21,6 @@
 *.so
 *.dylib
 *.dll
-*.so.*
-
 
 # Fortran module files
 *.mod
@@ -39,31 +37,5 @@
 *.out
 *.app
 
-# Build directories
-build/
-Build/
-build-*/
-
-# CMake generated files
-CMakeFiles/
-CMakeCache.txt
-cmake_install.cmake
-Makefile
-install_manifest.txt
-compile_commands.json
-
-# Temporary files
-*.tmp
-*.log
-*.bak
-*.swp
-
-# vcpkg
-vcpkg_installed/
-
 # debug information files
 *.dwo
-
-# test output & cache
-Testing/
-.cache/

Dotnet.gitignore

@@ -36,9 +36,6 @@ ScaffoldingReadMe.txt
 # NuGet Symbol Packages
 *.snupkg
 
-# dotenv environment variables file
-.env
-
 # Others
 ~$*
 *~

Global/JetBrains.gitignore

@@ -81,6 +81,3 @@ http-client.private.env.json
 # Apifox Helper cache
 .idea/.cache/.Apifox_Helper
 .idea/ApifoxUploaderProjectSetting.xml
-
-# Github Copilot persisted session migrations, see: https://github.com/microsoft/copilot-intellij-feedback/issues/712#issuecomment-3322062215
-.idea/**/copilot.data.migration.*.xml

Global/STM32CubeIDE.gitignore

@@ -1,51 +0,0 @@
-# STM32CubeIDE specific files
-
-# Project-specific settings. Ignore it if developers have different preferences.
-# However, if you want all team members to use the same code formatting and settings, 
-# consider including the .settings folder in the repository.
-
-# /.settings/
-
-# Ignore Eclipse-based IDE launch configurations.
-# Uncomment if you want each developer to have their own unique debug configurations.
-#*.launch
-
-# Ignore any JLink-related files (debug configurations).
-# Uncomment if you want each developer to have their own unique debug configurations.
-#*.jlink
-
-# Ignore log files generated by the IDE.
-# These are not necessary for version control.
-*.log
-
-# Build files
-
-# Ignore build output directories.
-# These are not needed in the repository as they are generated during the build process.
-Debug/
-Release/
-
-# Ignore common binary and object files generated during compilation.
-# They should not be included in the repository as they are build artifacts.
-*.elf
-*.map
-*.bin
-*.hex
-*.srec
-*.lst
-*.o
-*.d
-*.a
-*.su
-*.crl
-
-#TouchGFX files (in case your project has touchGFX)
-TouchGFX/generated
-TouchGFX/build
-TouchGFX/simulator/msvs/.vs
-
-# Backup files
-
-# Ignore temporary and backup files generated by the operating system and editor.
-# These are not needed in the repository.
-*.bak

Global/macOS.gitignore

@@ -1,6 +1,5 @@
 # General
 .DS_Store
-.localized
 __MACOSX/
 .AppleDouble
 .LSOverride

Lean.gitignore

@@ -1,2 +0,0 @@
-# cache and other artifacts produced by Lean's Lake build tool
-.lake/

Maven.gitignore

@@ -7,7 +7,7 @@ release.properties
 dependency-reduced-pom.xml
 buildNumber.properties
 .mvn/timing.properties
-# https://maven.apache.org/tools/wrapper/#Usage_with_or_without_Binary_JAR
+# https://maven.apache.org/wrapper/#usage-without-binary-jar
 .mvn/wrapper/maven-wrapper.jar
 
 # Eclipse m2e generated files

Nix.gitignore

@@ -4,6 +4,3 @@ result-*
 
 # Ignore automatically generated direnv output
 .direnv
-
-# Ignore NixOS interactive test driver history
-**/.nixos-test-history

Node.gitignore

@@ -126,9 +126,6 @@ dist
 # Stores VSCode versions used for testing VSCode extensions
 .vscode-test
 
-# pnpm
-.pnpm-store
-
 # yarn v3
 .pnp.*
 .yarn/*
@@ -138,7 +135,6 @@ dist
 !.yarn/sdks
 !.yarn/versions
 
-# Vite files
+# Vite logs files
 vite.config.js.timestamp-*
 vite.config.ts.timestamp-*
-.vite/

Python.gitignore

@@ -27,8 +27,8 @@ share/python-wheels/
 MANIFEST
 
 # PyInstaller
-#   Usually these files are written by a python script from a template
+#  Usually these files are written by a python script from a template
-#   before PyInstaller builds the exe, so as to inject date/other infos into it.
+#  before PyInstaller builds the exe, so as to inject date/other infos into it.
 *.manifest
 *.spec
 
@@ -92,34 +92,34 @@ ipython_config.py
 #   However, in case of collaboration, if having platform-specific dependencies or dependencies
 #   having no cross-platform support, pipenv may install dependencies that don't work, or not
 #   install all needed dependencies.
-# Pipfile.lock
+#Pipfile.lock
 
 # UV
 #   Similar to Pipfile.lock, it is generally recommended to include uv.lock in version control.
 #   This is especially recommended for binary packages to ensure reproducibility, and is more
 #   commonly ignored for libraries.
-# uv.lock
+#uv.lock
 
 # poetry
 #   Similar to Pipfile.lock, it is generally recommended to include poetry.lock in version control.
 #   This is especially recommended for binary packages to ensure reproducibility, and is more
 #   commonly ignored for libraries.
 #   https://python-poetry.org/docs/basic-usage/#commit-your-poetrylock-file-to-version-control
-# poetry.lock
+#poetry.lock
-# poetry.toml
+#poetry.toml
 
 # pdm
 #   Similar to Pipfile.lock, it is generally recommended to include pdm.lock in version control.
 #   pdm recommends including project-wide configuration in pdm.toml, but excluding .pdm-python.
 #   https://pdm-project.org/en/latest/usage/project/#working-with-version-control
-# pdm.lock
+#pdm.lock
-# pdm.toml
+#pdm.toml
 .pdm-python
 .pdm-build/
 
 # pixi
 #   Similar to Pipfile.lock, it is generally recommended to include pixi.lock in version control.
-# pixi.lock
+#pixi.lock
 #   Pixi creates a virtual environment in the .pixi directory, just like venv module creates one
 #   in the .venv directory. It is recommended not to include this directory in version control.
 .pixi
@@ -182,23 +182,23 @@ dmypy.json
 cython_debug/
 
 # PyCharm
-#   JetBrains specific template is maintained in a separate JetBrains.gitignore that can
+#  JetBrains specific template is maintained in a separate JetBrains.gitignore that can
-#   be found at https://github.com/github/gitignore/blob/main/Global/JetBrains.gitignore
+#  be found at https://github.com/github/gitignore/blob/main/Global/JetBrains.gitignore
-#   and can be added to the global gitignore or merged into this file.  For a more nuclear
+#  and can be added to the global gitignore or merged into this file.  For a more nuclear
-#   option (not recommended) you can uncomment the following to ignore the entire idea folder.
+#  option (not recommended) you can uncomment the following to ignore the entire idea folder.
-# .idea/
+#.idea/
 
 # Abstra
-#   Abstra is an AI-powered process automation framework.
+# Abstra is an AI-powered process automation framework.
-#   Ignore directories containing user credentials, local state, and settings.
+# Ignore directories containing user credentials, local state, and settings.
-#   Learn more at https://abstra.io/docs
+# Learn more at https://abstra.io/docs
 .abstra/
 
 # Visual Studio Code
-#   Visual Studio Code specific template is maintained in a separate VisualStudioCode.gitignore 
+#  Visual Studio Code specific template is maintained in a separate VisualStudioCode.gitignore 
-#   that can be found at https://github.com/github/gitignore/blob/main/Global/VisualStudioCode.gitignore
+#  that can be found at https://github.com/github/gitignore/blob/main/Global/VisualStudioCode.gitignore
-#   and can be added to the global gitignore or merged into this file. However, if you prefer, 
+#  and can be added to the global gitignore or merged into this file. However, if you prefer, 
-#   you could uncomment the following to ignore the entire vscode folder
+#  you could uncomment the following to ignore the entire vscode folder
 # .vscode/
 
 # Ruff stuff:

Salesforce.gitignore

@@ -1,39 +0,0 @@
-# This file is used for Git repositories to specify intentionally untracked files that Git should ignore. 
-# If you are not using git, you can delete this file. For more information see: https://git-scm.com/docs/gitignore
-# For useful gitignore templates see: https://github.com/github/gitignore
-
-# Salesforce cache
-.sf/
-.sfdx/
-.localdevserver/
-deploy-options.json
-.localdev
-
-# LWC VSCode autocomplete
-**/lwc/jsconfig.json
-
-# LWC Jest coverage reports
-coverage/
-
-# Logs
-logs
-*.log
-npm-debug.log*
-yarn-debug.log*
-yarn-error.log*
-
-# Eslint cache
-.eslintcache
-
-# Windows system files
-Thumbs.db
-ehthumbs.db
-[Dd]esktop.ini
-$RECYCLE.BIN/
-
-# Salesforce Analyzer results
-sca-results.csv
-sfca_results.json
-
-# Local environment variables
-.env

TeX.gitignore

@@ -75,11 +75,6 @@ acs-*.bib
 # comment
 *.cut
 
-# context
-*.tuc
-*.tui
-*.tuo
-
 # cprotect
 *.cpt