Pinned Loading

1. microsoft/GraphEngine microsoft/GraphEngine Public

   Microsoft Graph Engine

   C# 2.2k 332

2. Z3Prover/z3 Z3Prover/z3 Public

   The Z3 Theorem Prover

   C++ 11.1k 1.5k

3. jmamma/MCL jmamma/MCL Public

   MCL firmware for the MegaCommand MIDI Controller.

   C 59 9

4. fvim fvim Public

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

   F# 1.4k 31

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 59 9