Alexey Gerasimov's repositories
liquid-rust
Liquid Types implementation for Rust
intellij-codeowners
Support of CODEOWNERS file in Intellij-based IDEs
apalache
APALACHE: symbolic model checker for TLA+ and Quint
codeowners_test
Just repo to test how CODEOWNERS file is interpreted by GitHub
intellij-rust
Rust plugin for the IntelliJ Platform: https://intellij-rust.github.io/
stream-unconsume
Let you streams to be partially consumed without losing emitted values
DefinitelyTyped
The repository for high quality TypeScript type definitions.
email-addresses
An RFC 5322 email address parser
fsautils
Models of finite automata (DFA, NFA) with support of common operations and easily readable creation of objects
ideavim-quickscope
Quickscope port for IdeaVIM
intellij-community
IntelliJ IDEA Community Edition & IntelliJ Platform
intellij-plugins
Open-source plugins included in the distribution of IntelliJ IDEA Ultimate and other IDEs based on the IntelliJ Platform
intellij-prolog
Prolog plugin for Intellij IDEA
intellij-protobuf-plugin
IntelliJ-based IDEs Protobuf Language Plugin that provides Protobuf language support.
neovim-java
Neovim Java client library. Provides multiple interfaces for communicating with Neovim instance via multiple different protocols. - Moved to https://codeberg.org/neovim-java/neovim-java
notekeeper
Carrot-quest test task
OpenInSplittedTab
AppCode plugin to open the declaration/implementation of the current selected symbol within a vertically splitted tab.
sentry-integration
An Intellij's IDEs plugin which display issues and help you jump to Exception's stacktrace right in your IDE
sticker-finder
:zap: A telegram bot for searching all the stickers (just like @gif).