Skip to content

@7mind Septimal Mind

Change the repository type filter

All

    Repositories list

    66 repositories

    • kanata-switcher

      Public
      Kanata layer switcher based on focused application, for all Linux (Wayland) desktop environments
      Rust
      •
      MIT License
      •0•2•0•0•Updated Jan 15, 2026Jan 15, 2026

    • baboon

      Public
      Data modeling and versioning language with automatic evolution derivation
      Scala
      •
      MIT License
      •1•21•0•2•Updated Jan 15, 2026Jan 15, 2026

    • baboon-zed-grammar

      Public
      C
      •0•0•0•0•Updated Jan 14, 2026Jan 14, 2026

    • nix-config

      Public
      Nix
      •0•0•0•0•Updated Jan 14, 2026Jan 14, 2026

    • baboon-zed

      Public
      C
      •
      MIT License
      •0•0•0•0•Updated Jan 14, 2026Jan 14, 2026

    • .github

      Public
      0•0•0•0•Updated Jan 13, 2026Jan 13, 2026

    • baboon-vscode

      Public
      VSCode extension and syntax highlighting for Baboon DML
      TypeScript
      •
      MIT License
      •0•0•0•0•Updated Jan 12, 2026Jan 12, 2026

    • baboon-intellij

      Public
      Java
      •0•2•0•0•Updated Jan 11, 2026Jan 11, 2026

    • izumi

      Public
      Productivity-oriented collection of lightweight fancy stuff for Scala toolchain
      configproductivityframeworkscalaslf4jdependency-injectionloggerloggingrolesrpc
      Scala
      •
      BSD 2-Clause "Simplified" License
      •71•625•56•12•Updated Jan 8, 2026Jan 8, 2026

    • izumi-microsite

      Public
      Documentation microsite for Izumi
      HTML
      •0•2•0•0•Updated Dec 29, 2025Dec 29, 2025

    • mudyla

      Public
      Multimodal Dynamic Launcher
      Python
      •
      MIT License
      •0•9•3•0•Updated Dec 22, 2025Dec 22, 2025

    • dotty

      Public
      The Scala 3 compiler, also known as Dotty.
      Scala
      •
      Apache License 2.0
      •1.1k•0•0•0•Updated Dec 15, 2025Dec 15, 2025

    • sick

      Public
      Deduplicated indexed binary storage for JSON
      C#
      •
      BSD 2-Clause "Simplified" License
      •6•162•2•0•Updated Dec 15, 2025Dec 15, 2025

    • zio

      Public
      ZIO — A principled, powerful, standalone effect data type for any Scala project.
      Scala
      •
      Apache License 2.0
      •1.4k•0•0•0•Updated Dec 10, 2025Dec 10, 2025

    • distage-example

      Public
      Showcase for izumi distage, BIO, tagless final, http4s, doobie and zio
      tutorialscalapatternsdependency-injectionarchitecturehttp4sfptagless-finalizumidistage
      Scala
      •
      Apache License 2.0
      •12•58•0•2•Updated Dec 7, 2025Dec 7, 2025

    • jopa

      Public
      JOPA: Java compiler in C++
      C++
      •
      Other
      •18•70•0•0•Updated Dec 6, 2025Dec 6, 2025

    • sqlcipher-wasm

      Public
      JavaScript
      •
      Other
      •0•1•0•0•Updated Dec 3, 2025Dec 3, 2025

    • idealingua-v1

      Public
      IdeaLingua RPC for Scala, TypeScript, C#, Go
      goapiproductivityjsontypescriptscalacsharpcompilerhttp4stranspiler
      Scala
      •
      BSD 2-Clause "Simplified" License
      •4•20•61•7•Updated Dec 2, 2025Dec 2, 2025

    • pyjopa

      Public
      Java Compiler in Python. Totally Claude'd
      Python
      •0•5•0•0•Updated Nov 28, 2025Nov 28, 2025

    • sbtgen

      Public
      SBT project generator for flexible monorepo flow
      Scala
      •5•27•1•2•Updated Nov 27, 2025Nov 27, 2025

    • scalatest

      Public
      A testing tool for Scala and Java developers
      Scala
      •
      Apache License 2.0
      •339•0•0•0•Updated Nov 25, 2025Nov 25, 2025

    • squish-find-the-brains

      Public
      Nix wrapper for SBT
      Python
      •
      MIT License
      •2•13•0•0•Updated Nov 21, 2025Nov 21, 2025

    • mobala

      Public
      Modular Bash Launcher
      Shell
      •0•0•0•0•Updated Nov 15, 2025Nov 15, 2025

    • metaprogramming-acid-test

      Public
      An acid test of programming language's generative capabilites
      Kotlin
      •
      MIT License
      •0•5•0•0•Updated Nov 9, 2025Nov 9, 2025

    • github-env

      Public
      Github action which simplifies setting up a JDK environment
      0•0•0•0•Updated Nov 8, 2025Nov 8, 2025

    • izumi-chibi-py

      Public
      A simplified port of DIStage phased dependency injection for Python
      pythondependency-injection
      Python
      •
      MIT License
      •0•13•0•0•Updated Nov 6, 2025Nov 6, 2025

    • izumi-chibi-ts

      Public
      A simplified port of DIStage phased dependency injection for Typescript
      typescriptdependency-injection
      TypeScript
      •
      MIT License
      •0•22•0•0•Updated Nov 6, 2025Nov 6, 2025

    • sqlcipher-wasm-alt

      Public
      Shell
      •
      Other
      •0•0•0•0•Updated Nov 1, 2025Nov 1, 2025

    • idealingua-v1-intellij

      Public
      0•0•0•0•Updated Sep 24, 2025Sep 24, 2025

    • sbt-structure

      Public
      SBT plugin to collect information about project structure
      Scala
      •
      Other
      •33•0•0•0•Updated May 15, 2025May 15, 2025