You must be logged in to sponsor 7mind
Become a sponsor to Septimal Mind
We create complex tools which make Scala ecosystem better and Scala engineers productive.
Our notable projects include
- DIStage: Phased Dependency Injection/First Class Modules/Multi-Modal Applications for Scala (with TypeScript and Python ports)
- BIO: Bifunctor Typeclasses
- Logstage: effortless Structural Logging for Scala, structure is extracted directly from AST
- zio/izumi-reflect: static portable compile-time reflection for Scala and a simulator of Scala typer, underlying technology of DIStage and ZIO Zlayer.
- Baboon: Data Modeling and Versioning language with strong schema evolution capabilities and automatic evolution derivation
- SICK: deduplicated indexed binary storage for JSON
- mudyla: mini-orchestrator for scripts in various languages based on typed DAGs
- squish-find-the-brains: a tool to run SBT under Nix
Also we've made multiple contributions into Scala ecosystem:
- async tracing for async IO Monad runtimes which later evolved and influenced various implementations in different libraries.
- In Scala 3 & 2 compilers, added support for
-Xkind-projector:underscores- underscore syntax for type lambdas, part of Scala 3 roadmap - We help testing compiler stability: our libraries are included into Scala 3 Community Build and Scala 3 Open Community Build.
- Orders of magnitude faster publishing of Scala projects to Sonatype.
- We make lots of
scalacbug reports regularly
Meet the team
-
Paul S. pshirshovTurns any bullshit into compilers.
-
Featured work
-
7mind/izumi
Productivity-oriented collection of lightweight fancy stuff for Scala toolchain
Scala 626 -
7mind/slides
Our slides for meetups and conferences
TeX 16 -
7mind/blog
Source code of blog.7mind.io
HTML 3 -
7mind/distage-example
Showcase for izumi distage, BIO, tagless final, http4s, doobie and zio
Scala 58 -
7mind/idealingua-example
Scala backend + TypeScript frontend Example for Idealingua API Language
Scala 10 -
7mind/sbtgen
SBT project generator for flexible monorepo flow
Scala 27