Software Engineer in Security at Snowflake | Ex-Twitter, Route4Me, and others
Currently building GALA -- a functional programming language that transpiles to Go.
- Blog: martianov.dev
- GALA: gala.fyi
- Playground: gala-playground.fly.dev
| Project | Description |
|---|---|
| gala | GALA programming language -- sealed types, pattern matching, generics, type inference. 105 releases, 346 tests. |
| rules-gala | Bazel rules, a bzlmod extension, and a gazelle plugin for building, testing, and transpiling GALA -- also a Bazel module registry that publishes rules_gala. |
| gala-playground | Web-based GALA editor with live transpilation -- 15 built-in examples, instant compilation, error display. Try it at gala-playground.fly.dev. |
| gala-server | Immutable HTTP server library -- builder pattern, 35+ composable filters (auth, CORS, rate limiting, circuit breaker), SSE, zero-reflection JSON, graceful shutdown. Inspired by Finagle + Echo. |
| gala-tui | Functional, Elm-architecture TUI framework written in GALA -- immutable widgets, differential renderer, async runtime, mouse, markdown, themes. |
| gala-team | Multi-agent Claude CLI orchestrator -- a Team Lead delegates to Engineers and QAs, reviews work, hands you a PR for sign-off. Written in GALA with gala_tui. |
| gala-assimilator 🚧 | Under construction. Terminal UI that migrates a codebase between languages by orchestrating AI agents in a translate -> verify -> fix loop, per file, until 100% migrated. Semantics-preserving: a unit is Done only when its 1:1 source tests pass. First pair: Go -> GALA. Written in GALA with gala_tui. |
- Productionizing the GALA Build Stack: rules_gala, a Real Toolchain, and Gazelle
- The State of GALA: May 2026
- Splitting the Brain: Plugin vs LSP
- Dot Completion Without a Type Checker
- The Type Information Problem
- The State of GALA: March 2026
- 22x Faster Builds: Inside GALA's Compilation Performance Journey
- Building a Reliable Transpiler: Lessons from 80+ Bug Fixes
- samber/lo Has 21K Stars. Here's What It Would Look Like as a Language Feature
- Library vs Language: Two Approaches to Functional Programming in Go
- Pattern Matching in Go: Sealed Types and Exhaustive Matching for the Go Ecosystem