Pinned Loading

1. marksman marksman Public

   Write Markdown with code assist and intelligence in the comfort of your favourite editor.

   F# 2.7k 46

2. shellmark shellmark Public

   Cross-platform bookmarks manager for your shell

   Rust 37 1

3. marksman-vscode marksman-vscode Public

   Marksman extension for VSCode. Note taking with cross-references and diagnostics.

   TypeScript 50

4. facebook/infer facebook/infer Public

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

   OCaml 15.4k 2.1k

5. jspecify/jspecify jspecify/jspecify Public

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

   Java 923 38

6. blog blog Public

   Artem Pianykh's blog

   HTML 4