Pinned Repositories
blog
Artem Pianykh's blog
evil-russian
Evil key bindings translated to Russian layout for seamless transition.
Fang
Toy functional language implemented in F#
goods
Ruby gem for parsing YML (Yandex Market Language) files.
marksman
Write Markdown with code assist and intelligence in the comfort of your favourite editor.
marksman-vscode
Marksman extension for VSCode. Note taking with cross-references and diagnostics.
rdu
shellmark
Cross-platform bookmarks manager for your shell
infer
A static analyzer for Java, C, C++, and Objective-C
jspecify
An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
artempyanykh's Repositories
artempyanykh/marksman
Write Markdown with code assist and intelligence in the comfort of your favourite editor.
artempyanykh/marksman-vscode
Marksman extension for VSCode. Note taking with cross-references and diagnostics.
artempyanykh/shellmark
Cross-platform bookmarks manager for your shell
artempyanykh/ppp-2017
Intro to modern programming tools and techniques for CMC MSU students. Spring ‘17 (1 semester version)
artempyanykh/blog
Artem Pianykh's blog
artempyanykh/rust-lsp-document
Convert between Rust and LSP representation of strings.
artempyanykh/opam-repository
Main public package repository for opam, the source package manager of OCaml.
artempyanykh/prac-5sem-2016
Intro to modern programming tools and techniques for CMC MSU students. Fall ‘16 - Spring ‘17
artempyanykh/rays
artempyanykh/alloca
Experiments
artempyanykh/checker-framework
Pluggable type-checking for Java
artempyanykh/cocohttp
artempyanykh/course22
The fast.ai course notebooks
artempyanykh/eglot
A client for Language Server Protocol servers
artempyanykh/fsharp
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
artempyanykh/helix
A post-modern modal text editor.
artempyanykh/homebrew-core
🍻 Default formulae for the missing package manager for macOS (or Linux)
artempyanykh/infer
A static analyzer for Java, C, C++, and Objective-C
artempyanykh/ipecho
artempyanykh/javalib
Javalib is a library to access and manipulate Java class files from OCaml.
artempyanykh/jspecify
An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.
artempyanykh/LanguageServerProtocol
Library for building Language Server Protocol servers and clients in F#.
artempyanykh/metaldetector
WIP
artempyanykh/multicore-experiments
artempyanykh/nvim-lspconfig
Quickstart configurations for the Nvim LSP client
artempyanykh/ocaml
The core OCaml system: compilers, runtime system, base libraries
artempyanykh/ocaml-lsp
OCaml Language Server Protocol implementation
artempyanykh/prac-2017-2018
Intro to modern programming tools and techniques for CMC MSU students. Fall ‘17 - Spring ‘18
artempyanykh/raysr
artempyanykh/sawja
Sawja provides a high level representation of Java bytecode programs and static analysis tools.