Starred repositories
A .NET Library for Systematically Generating Test Cases for Your Domain Model
Make Quantum computing available for enterprise .NET developers (and AI) via Azure.Quantum
Functional programming and category theory in LLM interactions
IbanNet extension to validate BBAN national check digits.
Infer.NET is a framework for running Bayesian inference in graphical models
📺 Source code with tasks from my "Write your own tiny programming system(s)!" course at Charles University. Follow the link below to watch the course online!
Android and iOS mobile application using .NET MAUI with Fabulous abstraction layer
Open Source real-time strategy game engine for early Westwood games such as Command & Conquer: Red Alert written in C# using SDL and OpenGL. Runs on Windows, Linux, *BSD and Mac OS X.
Get up and running with OpenAI gpt-oss, DeepSeek-R1, Gemma 3 and other models.
DJI Windows SDK: http://developer.dji.com/windows-sdk/
Experience Quality Coding for AI - A Next-Generation Tutorial on Functional Programming for the AI Age
An example of using the .NET 10 SDK to create platform-specific .NET tools
Easy to use alarm system integration for Home Assistant
🏡 Open source home automation that puts local control and privacy first.
Community curated list of companies that use F#
Unofficial .NET client for Carmel integration, creating online payments via their API. Bank payment handling automation in the United States.
System.Linq.Expression expressions optimizer. http://thorium.github.io/Linq.Expression.Optimizer
A tool for analysing BenchmarkDotNet results
Create a DLL in F# that can be called by native C++
Plugin to replace FSharp.Data.JsonProvider default serialization with fast System.Text.Json
Formal verification tool based on predicate calculus and supporting several programming languages