Pinned

1. microsoft/GraphEngine Public

   Microsoft Graph Engine

   C# 2.1k 345

2. Z3Prover/z3 Public

   The Z3 Theorem Prover

   C++ 8.6k 1.3k

3. jmamma/MCL Public

   MCL firmware for the MegaCommand MIDI Controller.

   C 32 8

4. fvim Public

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

   F# 1.1k 23

5. coc-extensions/coc-fsharp Public

   Forked from fsprojects/fsharp-language-server

   coc.nvim integration for fsharp-language-server

   TypeScript 34 3

6. coc-extensions/coc-powershell Public

   PowerShellEditorService integration for coc.vim

   TypeScript 47 10