Tinkhaven

We use IntelliJ IDEA because

• Free Community Edition
• Powerful IDE
• Good support for elm through the intellij-elm plugin
• Good support for haskell through the Intellij Haskell Plugin
• Refactoring
• Searching & replace
• Built-in terminal
• Git support (very good diff tool)

We use Git because

• it's the standard
• it's powerful (git reflog saved me already a few times)

We use Bitbucket because

It provided private repositories (at a time where github didn't provide that yet)

On the longer term (if the team size would grow) I would use Confluence / JIRA which integrate well with Bitbucket.

I am currently not using any of the CI capabilities (e.g. pipelines) but I might in the future.

• External user authentication and authorization (roles & groups)
• Our database does not need to store any personal data (name, username, password) which helps for GDPR
• Our system does not need to deal with password security, recovery, ...
• JWT tokens are verified on each api call
• Users are cached internally using redis

Auth0