# IDEs
.idea
.metals
.vscode
project/metals.sbt
project/project/metals.sbt
sbt-launch.jar

# build-related
.bsp
.bloop
target
*.scala.semanticdb

*.iml

# silex and scallion

silex/*
scallion/*

# caching of theorems
cache

# emacs backup files
*~
