NethermindEth / LeanCIL
LeanCIL is a Lean 4 formal verification framework for .NET programs. It enables machine-checked proofs of correctness and safety against compiled Common Intermediate Language (CIL), supporting applications written in C#, F#, and other .NET languages.
dotnet / roslyn
The Roslyn .NET compiler provides C# and Visual Basic languages with rich code analysis APIs.
dotnet / csharplang
The official repo for the design of the C# programming language
louthy / language-ext
C# pure functional programming framework - come and get declarative!
pythonnet / pythonnet
Python for .NET is a package that gives Python programmers nearly seamless integration with the .NET Common Language Runtime (CLR) and provides a powerful application scripting tool for .NET developers.
scriban / scriban
A fast, powerful, safe and lightweight scripting language and engine for .NET
dafny-lang / dafny
Dafny is a verification-aware programming language
microsoft / Power-Fx
Power Fx low-code programming language
waf / CSharpRepl
A command line C# REPL with syntax highlighting – explore the language, libraries and nuget packages interactively.
CosmosOS / Cosmos
Cosmos is an operating system "construction kit". Build your own OS using managed languages such as C#, VB.NET, and more!
dotnet / macios
.NET for iOS, Mac Catalyst, macOS, and tvOS provide open-source bindings of the Apple SDKs for use with .NET managed languages such as C#
YarnSpinnerTool / YarnSpinner
The core compiler and engine-agnostic components for Yarn Spinner, the friendly dialogue tool.
IronLanguages / ironpython3
Implementation of Python 3.x for .NET Framework that is built on top of the Dynamic Language Runtime.
dotnet / android
.NET for Android provides open-source bindings of the Android SDK for use with .NET managed languages such as C#
sebastienros / fluid
Fluid is an open-source .NET template engine based on the Liquid template language.
moonsharp-devs / moonsharp
An interpreter for the Lua language, written entirely in C# for the .NET, Mono, Xamarin and Unity3D platforms, including handy remote debugger facilities.
scripthookvdotnet / scripthookvdotnet
An ASI plugin for Grand Theft Auto V, which allows running scripts written in any .NET language on the .NET Framework runtime in-game.
CFPAOrg / Minecraft-Mod-Language-Package
A language package for Minecraft Mods.
dotliquid / dotliquid
.NET Port of Tobias Lütke's Liquid template language.
microsoft / DevSkim
DevSkim is a set of IDE plugins, language analyzers, and rules that provide security "linting" capabilities.
maximmax42 / Discord-CustomRP
Simple custom Rich Presence manager (Playing status) for Discord. Only supports Windows 7 and above. Features running on startup and minimizing to tray. Translated to multiple languages.
boo-lang / boo
The Boo Programming Language.
machine / machine.specifications
Machine.Specifications is a Context/Specification framework for .NET that removes language noise and simplifies tests.
AtomUI / AtomUI
An enhancement and extension library for Avalonia, bringing the Ant Design design language, modern controls, theming, native integrations, and cross-platform UI capabilities to .NET desktop apps.
lingarr-translate / lingarr
Lingarr is an application that supports both local and SaaS translation services to translate subtitle files into a specified target language. With automated translation options, Lingarr simplifies translating subtitles.
curiosity-ai / catalyst
🚀 Catalyst is a C# Natural Language Processing library built for speed. Inspired by spaCy's design, it brings pre-trained models, out-of-the box support for training word and document embeddings, and flexible entity recognition models.
SodiumFRP / sodium
Sodium - Functional Reactive Programming (FRP) Library for multiple languages
JaneySprings / DotRush
Lightweight C# development environment for VSCode
PowerShell / PowerShellEditorServices
A common platform for PowerShell development support in any editor or application!
LightSideKittens / UniText
First & Only Text Engine for Unity. Every language. Every emoji. Every style. Production-grade, extensible, high-performance, built on industry standards.Windows, macOS, Linux, Android, iOS, WebGL
microsoft / Kusto-Query-Language
Kusto Query Language is a simple and productive language for querying Big Data.
microsoft / CsWinRT
C# language projection for the Windows Runtime
OmniSharp / csharp-language-server-protocol
Language Server Protocol in C#
sdcb / chats
A powerful and flexible frontend & AI gateway for large language models, supporting 21+ mainstream AI model providers.
kreeben / resin
Language model search engine built on a vector database and an anything key/value store.
VolcanicArts / VRCOSC
A modular node-programming language, program creator, animation system, toolkit, router, and debugger made for VRChat
DavidObando / gsharp
GSharp Programming Language
Puchaczov / Musoq
SQL Runtime without any database
dlsandy / Transub-Player
Open a video. Subtitles follow. Windows player with live dual-language subtitles.
donislawdev / BetterWindowsServices
services.msc replacement for Windows admins: search every service with a query language, preview every change before it runs, and diff a snapshot to see what drifted. GUI + CLI
b0llu / Rigsight
Know your rig: an intelligent, lightweight PC tracker for Windows. Temperatures, app usage, crashes and storage, explained in plain language.
chgblog / AIHelper
AIHelper is a lightweight tool that seamlessly integrates web‑based large language models (such as ChatGPT) into your work, entertainment, and study. With text selection or global hotkeys, you can instantly translate, explain, or polish clipboard content. AIHelper 是一款轻量级AI助手工具。它旨在将网页端 AI 大模型平台无缝集成到日常工作、学习中。通过划词或全局快捷键和智能网页脚本注入，实现剪贴板文本的快速翻译、解释、润色等操作。