artempyanykh Goto Github PK

hoogle

Haskell API search engine

infer

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

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#.

lomonosov-read-16

Thesis for "Lomonosov's Readings 2016" conference

magit

It's Magit! A Git porcelain inside Emacs.

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.

merlin

Context sensitive completion for OCaml in Vim and Emacs

mill

Your shiny new Java/Scala build tool!

multicore-experiments

nixpkgs

Nix Packages collection

nvim-lspconfig

Quickstart configurations for the Nvim LSP client

ocaml-lsp

OCaml Language Server Protocol implementation

ocamlearlybird

OCaml debug adapter

omarksman

orm16

Thesis for Operations Research Moscow 2016 conference.

play-native-packaging

Minimal Play 2.3.x application ready for native packaging and distribution

pomodoro-avr

Pomodoro timer based on AVR ATmega328 microcontroller (e.g. Arduino Uno)

postgraduate-work

An umbrella repo for postgraduate work. Articles, calculations, drafts, etc.

ppp-2017

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

prac-2017-2018

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

prac-5sem-2016

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

projectile

Project Interaction Library for Emacs

rack

a modular Ruby webserver interface

rdu

rust-lsp-document

Convert between Rust and LSP representation of strings.

rusty-fang

sawja

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