artempyanykh

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.

shellmark

Cross-platform bookmarks manager for your shell

ppp-2017

Intro to modern programming tools and techniques for CMC MSU students. Spring ‘17 (1 semester version)

blog

Artem Pianykh's blog

rust-lsp-document

Convert between Rust and LSP representation of strings.

opam-repository

Main public package repository for opam, the source package manager of OCaml.

prac-5sem-2016

Intro to modern programming tools and techniques for CMC MSU students. Fall ‘16 - Spring ‘17

rays

alloca

Experiments

checker-framework

Pluggable type-checking for Java

cocohttp

course22

The fast.ai course notebooks

eglot

A client for Language Server Protocol servers

fsharp

The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio

helix

A post-modern modal text editor.

homebrew-core

🍻 Default formulae for the missing package manager for macOS (or Linux)

infer

A static analyzer for Java, C, C++, and Objective-C

ipecho

javalib

Javalib is a library to access and manipulate Java class files from OCaml.

jspecify

An artifact of fully-specified annotations to power static-analysis checks, beginning with nullness analysis.

LanguageServerProtocol

Library for building Language Server Protocol servers and clients in F#.

metaldetector

WIP

multicore-experiments

nvim-lspconfig

Quickstart configurations for the Nvim LSP client

ocaml

The core OCaml system: compilers, runtime system, base libraries

ocaml-lsp

OCaml Language Server Protocol implementation

prac-2017-2018

Intro to modern programming tools and techniques for CMC MSU students. Fall ‘17 - Spring ‘18

raysr

sawja

Sawja provides a high level representation of Java bytecode programs and static analysis tools.