PinnedLoading

1. microsoft/GraphEnginemicrosoft/GraphEnginePublic

   Microsoft Graph Engine

   C# 2.3k 329

2. Z3Prover/z3Z3Prover/z3Public

   The Z3 Theorem Prover

   C++ 11.9k 1.6k

3. jmamma/MCLjmamma/MCLPublic

   MCL firmware for the MegaCommand MIDI Controller.

   C++ 67 9

4. fvimfvimPublic

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

   F# 1.4k 33

5. coc-extensions/coc-fsharpcoc-extensions/coc-fsharpPublic

   Forked fromfsprojects/fsharp-language-server

   coc.nvim integration for fsharp-language-server

   TypeScript 32 3

6. coc-extensions/coc-powershellcoc-extensions/coc-powershellPublic

   PowerShellEditorService integration for coc.vim

   TypeScript 60 9