Vybe Guide
Sign Up

Explore Projects

Discover 4 open source projects

Active filters (1):
Search: f-sharp×
Clear all

Showing 1-4 of 4 projects

louthy/language-ext

A C# pure functional programming framework for declarative coding

7.0K
Active
C#
React
#functional-programming#declarative-coding#type-safe

mcintyre321/OneOf

Easy-to-use F#-like discriminated unions for C# with exhaustive compile-time matching

4.0K
Archived
C#
#c-sharp#discriminated-unions#dotnetcore

migueldeicaza/TensorFlowSharp

TensorFlow API for .NET languages, enabling .NET developers to build machine learning models.

3.2K
Archived
C#
AI SDKs & Wrappers
API Frameworks
C#
#machine-learning#tensorflow#c-sharp

FStarLang/FStar

F* is a proof-oriented programming language that supports dependent types, SMT solving, and verification.

3.0K
Active
F*
Programming Language
API Frameworks
#dependent-types#smt#theorem-proving

Stay in the loop

Get weekly updates on trending AI coding tools and projects.