.gitignore

######################
# Generic .gitignore #
######################

# Compiled source #
###################
*.com
*.class
*.dll
*.exe
*.o
*.obj
*.so
*.pyc
build/

# Packages #
############
# it's better to unpack these files and commit the raw source
# git has its own built-in compression methods
*.7z
*.dmg
*.iso
*.jar
*.rar
*.tar
*.zip

# Logs and databases #
######################
*.log
*.sql
*.sqlite

# OS generated files #
######################
.DS_Store
.DS_Store?
._*
.Spotlight-V100
.Trashes
ehthumbs.db
Thumbs.db

# IDE generated files #
#######################
.idea
.mypy_cache
.vscode

# Doxygen #
###########
dox

# Ocaml #
#########
*.cm[iot]
*.byte
*.native
*.dSYM
*.conflicts
.merlin

# Testing playground #
######################
scratch.seq