List of projects

I made...

• AngouriMath
• AsmToDelegate
• brownian-motion-chart
• CodegenAnalysis
• dotnet-proj
• draco-nvim
• frac-hs
• FsMinimalWebpageTemplate
• FStar.Lib.NET
• GenericTensor
• HonkPerf.NET
• InductiveVariadics
• json2fs
• LambdaCalculusFSharp
• lamca
• MoreFuncUI
• my-nix
• nvim-latex-preconfig
• tri
• UnitsOfMeasure

My major contributions are...

• gpt4all.nvim
• magma-nvim
• Plotly.NET

My minor contributions are...

• .NET Interactive
• advanced-git-search
• barbar.nvim
• Draco
• nixpkgs
• nvim-web-icons
• orgmode
• Silk.NET
• TWIN