Skip to content
@7mind

Septimal Mind

Inventing productivity

We create complex tools which make Scala ecosystem better and Scala engineers productive.

Our notable projects include

  1. DIStage: Phased Dependency Injection/First Class Modules/Multi-Modal Applications for Scala (with TypeScript and Python ports)
  2. BIO: Bifunctor Typeclasses
  3. Logstage: effortless Structural Logging for Scala, structure is extracted directly from AST
  4. zio/izumi-reflect: static portable compile-time reflection for Scala and a simulator of Scala typer, underlying technology of DIStage and ZIO Zlayer.
  5. Baboon: Data Modeling and Versioning language with strong schema evolution capabilities and automatic evolution derivation
  6. SICK: deduplicated indexed binary storage for JSON
  7. mudyla: mini-orchestrator for scripts in various languages based on typed DAGs
  8. squish-find-the-brains: a tool to run SBT under Nix

Also we've made multiple contributions into Scala ecosystem:

Pinned Loading

  1. izumi izumi Public

    Productivity-oriented collection of lightweight fancy stuff for Scala toolchain

    Scala 625 71

  2. distage-example distage-example Public

    Showcase for izumi distage, BIO, tagless final, http4s, doobie and zio

    Scala 58 12

  3. baboon baboon Public

    Data modeling and versioning language with automatic evolution derivation

    Scala 21 1

  4. sick sick Public

    Deduplicated indexed binary storage for JSON

    C# 162 6

  5. slides slides Public

    Our slides for meetups and conferences

    TeX 16 2

  6. blog blog Public

    Source code of blog.7mind.io

    HTML 3

Repositories

Showing 10 of 66 repositories
  • baboon Public

    Data modeling and versioning language with automatic evolution derivation

    7mind/baboon’s past year of commit activity
    Scala 21 MIT 1 0 3 Updated Jan 16, 2026
  • nix-config Public
    7mind/nix-config’s past year of commit activity
    Nix 0 0 0 0 Updated Jan 16, 2026
  • kanata-switcher Public

    Kanata layer switcher based on focused application, for all Linux (Wayland) desktop environments

    7mind/kanata-switcher’s past year of commit activity
    Rust 2 MIT 0 0 0 Updated Jan 15, 2026
  • baboon-zed Public
    7mind/baboon-zed’s past year of commit activity
    Tree-sitter Query 0 MIT 0 0 0 Updated Jan 15, 2026
  • izumi Public

    Productivity-oriented collection of lightweight fancy stuff for Scala toolchain

    7mind/izumi’s past year of commit activity
    Scala 625 BSD-2-Clause 71 56 (17 issues need help) 12 Updated Jan 15, 2026
  • 7mind/baboon-zed-grammar’s past year of commit activity
    C 0 0 0 0 Updated Jan 14, 2026
  • .github Public
    7mind/.github’s past year of commit activity
    0 0 0 0 Updated Jan 13, 2026
  • baboon-vscode Public

    VSCode extension and syntax highlighting for Baboon DML

    7mind/baboon-vscode’s past year of commit activity
    TypeScript 0 MIT 0 0 0 Updated Jan 12, 2026
  • 7mind/baboon-intellij’s past year of commit activity
    Java 2 0 0 0 Updated Jan 11, 2026
  • izumi-microsite Public

    Documentation microsite for Izumi

    7mind/izumi-microsite’s past year of commit activity
    HTML 2 0 0 0 Updated Dec 29, 2025

Sponsors

  • @desertfury
  • @coreyoconnor

Top languages

Loading…