Igal Tabachnik

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

An unofficial PDF and LaTeX source for 'Category Theory for Programmers,' a book that explains advanced math concepts for developers using Haskell, Scala, and OCaml code examples. You can build it yourself or buy a printed copy.

A companion IntelliJ IDEA plugin for the ZIO library ecosystem.

A Scala compiler plugin for better ZIO type mismatch errors.

A DevContainer for VSCode, for installing GHC 8.6.5, HIE (Haskell IDE Engine) and the required plugins

** THIS PLUGIN IS NO LONGER MAINTAINED. PLEASE FOLLOW ERNICOMMUNITY FOR UPDATES **

My CV / Resume

Nancy plugin for ReSharper adds navigation and intellisense support for NancyFx in ReSharper, for super-duper-happy-path web development!

A plugin ("accessory") for Snagit that allows sending the currently captured image to imgur.com

Chrome extension to open any selected Windows Registry path in Regedit using Sysinternals RegJump

Experiments in putting Visual Studio on a diet!

An /xkcd command for Slack!

A plugin for JetBrains dotPeek Decompiler to deobfuscate assemblies, using de4dot deobfuscator.

A toy redis client implementation in Scala

Windows Shell Extensions (and other utilities) to work with Visual Studio Extensions (vsix) files.

Enables support for EmojiVS extension (https://github.com/jbevain/EmojiVS) in ReSharper

Ralph Wiggum loop generator for iterative AI-driven development. Supports Claude Code and Amp.

A Visual Studio "15" extension that enables debugging scriptcs (http://scriptcs.net/) files via "Open Folder" (File > Open Folder)

Slides and code from the talk "Journey to Functional Programming", given at Wix Engineering Conference

Trace any method in any assembly in any (live) .NET process!

Makes clicking the top left logo on gist.github.com take to github home, when clicked on the 'Github' part.

Enable non-virtual/static methods mocking with your favorite mocking framework!

Fixes garbled image rendering on (older) Kindle devices of PDFs purchased on Leanpub.

Slides and demos from SDP2016 (Sela Developer Practice)

A collection of External Annotations for ReSharper for popular 3rd party frameworks!

Source code for my Scala in the City talk on Building IntelliJ plugins with Scala

An addin for Fody that allows specifying an assembly MVID (Module Version Id)

Experiments in Metallurgy

An IntelliJ plugin that highlights non-obvious boxing, closure, and function allocations in Scala.

Automatic indexing and search for Claude Code conversation history using QMD

Switch Claude Code between native Anthropic and z.ai backends

Awesome online talks and screencasts

A docker image that installs GHC 8.6.5 with a matching HIE (haskell-ide-engine) to be used as a base for the HIE-DevContainer

Source code for my blog (powered by Hexo.io)

Download and decrypt Guitar Pro MySongBook tabs without the Guitar Pro app

Interactive tutorials for learning developer tools - starting with jj (Jujutsu) for git users

ZIO — A type-safe, composable library for asynchronous and concurrent programming in Scala

The Flix programming language support for IntelliJ IDEA

Locate a file or a folder in the Solution Explorer, but without navigating to it.

A Hello World VS Code extension with ScalaJS.

A ZIO wrapper for jsch-powered sftp client for Scala

What I Wish I Knew When Learning Haskell

Scala sample code for Bartosz Milewski's CT for Programmers

A textbook on informal homotopy type theory

No description.

Your own personal AI assistant. Any OS. Any Platform. The lobster way. 🦞

A macOS utility to (hopefully permanently) lock the Fn key state on some HP keyboards

Creates the templates section to be used in Zola doc site

Minimal single-column reading theme for Zola

No description.

No description.

Nix Packages collection & NixOS

Scala rules for Bazel

`@ifdef` is an annotation that implements conditional compilation in Scala

No description.

My NixOS (btw) configuration files

A microlibrary for reliable and persistent webhook delivery

A small, unopinionated ZIO interface to NIO.

Monitoring, Metrics and Diagnostics for ZIO

Macros to scrap ZIO boilerplate

No description.

Extensions for the Zed editor

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

Clean room implementation of the LSP protocol in Scala, published for JVM, JS, and Native platforms

No description.

Refresh for Twitter - a Chromebook extension

Low level ZIO interface for the full AWS

uPickle: a simple, fast, dependency-free JSON & Binary (MessagePack) serialization library for Scala

CSV handling library for Scala

Compile-time Language Integrated Queries for Scala

A lightweight, distinctly Scala take on functional abstractions, with tight ZIO integration

IntelliJ IDEA Community Edition & IntelliJ Platform

FAKE - F# Make

sbt, the interactive build tool

No description.

Scala plugin for IntelliJ IDEA

The pure asynchronous runtime for Scala

Construct ZLayers automagically (w/ helpful compile-time errors)

Lightweight, modular, and extensible library for functional programming.

Scala 2 compiler and standard library. For bugs, see scala/bug

Easily use and document any config from anywhere in ZIO apps

Subtitles (Russian & English) for the Haskell MOOC by Denis Moskvin on Stepik.org

No description.

The new Windows Terminal and the original Windows console host, all in the same place!

Robust and featureful Bazel rules for Scala

Software Specifications for Scala

Packaging for SBT so you can run it natively.

Scala combinator library for working with binary data

ZIO wrapper around Scala DB access libraries.

Develop IntelliJ plugins with Scala and SBT

Smart PVR for newsgroup and bittorrent users.

No description.

No description.

This repository contains a collection of Homebrew (aka, Brew) "formulae" for Bazel

A clone of Pygments with a patched Scala lexer

Java NIO utilities for usage with Monix

learn-by-doing course/tutorial for functional programming on scala

Integration between jawn and fs2

:shopping_cart: The Shopping Cart application developed in the book "Practical FP in Scala: A hands-on approach"

hub helps you win at git.

VS Code plugin for F# development

Visual Studio Code extension for Metals

A collection of various config files

Kotlin sample code for Bartosz Milewski's CT for Programmers

The BigPanda challenge

No description.

Assorted git-related scripts

Elegant theme for Hexo.

Exercises from the book Functional Programming in Scala (aka the Red Book)

The official repository for LambdaConf's Applied FP in Scala workshop.