While my professional focus is on shipping reliable production code in TypeScript, my open-source work explores the intersection of formal logic and systems engineering. I use languages like Haskell and Rust as a testing ground for advanced concepts—such as type-safety and compiler design—which I then apply to build better, more robust architectures in Node.js.
The following projects represent my research into type-safety, automation, and real-time systems:
Morpheus GraphQL (Haskell): A fully type-safe GraphQL server and client for Haskell that generates executable APIs directly from schema definitions at compile-time, preventing runtime type errors. Docs: morpheusgraphql.com
relasy (TypeScript): A label-driven release automation tool for GitHub Actions that handles semantic versioning, changelog generation, and npm publishing based on Pull Request labels and custom configuration.
hwm (Haskell): A declarative workspace manager for Haskell monorepos that orchestrates disparate GHC versions. It serves as a single source of truth for build environments, automating toolchain management without manual scripting.
wdaw (TypeScript/React): A web-based Digital Audio Workstation implementing a low-latency audio graph engine in the browser with real-time synthesis, sequencing, and state management. Live Demo: nalchevanidze.github.io/wdaw
awscurl-rs (Rust): A Rust-based CLI utility for interacting with AWS services, handling AWS Signature V4 signing for secure HTTP requests (optimized for testing AWS IoT Core and MQTT endpoints).