Pinned Loading

1. microsoft/GraphEngine microsoft/GraphEngine Public archive

   Microsoft Graph Engine

   C# 2.3k 335

2. Z3Prover/z3 Z3Prover/z3 Public

   The Z3 Theorem Prover

   C++ 12.9k 1.7k

3. jmamma/MCL jmamma/MCL Public

   MCL firmware for the MegaCommand MIDI Controller.

   C++ 93 15

4. fvim fvim Public

   Cross platform Neovim front-end UI, built with F# + Avalonia

   F# 1.4k 36

5. coc-extensions/coc-fsharp coc-extensions/coc-fsharp Public

   Forked from fsprojects/fsharp-language-server

   coc.nvim integration for fsharp-language-server

   TypeScript 32 3

6. coc-extensions/coc-powershell coc-extensions/coc-powershell Public

   PowerShellEditorService integration for coc.vim

   TypeScript 61 9