kant2002 / fstarsampleLinks
Sample how to perform export of F* to F# with Nuget
☆8Updated 8 months ago
Alternatives and similar repositories for fstarsample
Users that are interested in fstarsample are comparing it to the libraries listed below
Sorting:
- Automation behind F# Weekly☆11Updated 7 months ago
- A set of libraries that allow Router-like experiences for general purpose F# Apps☆17Updated this week
- Desktop App to analyze usage of disk space.☆21Updated 3 years ago
- ExtLauncher is a dotnet tool to search and launch quickly projects in the user's preferred applications.☆10Updated last year
- An F# library for writing and reading .NET assemblies and modules☆12Updated 3 years ago
- Python core implemented in F# language and under dotnetcore 3.1 or later.☆25Updated 5 years ago
- A F# console app to replace PackageReferences with ProjectReferences in an entire solution.☆11Updated 2 years ago
- https://github.com/mozilla/source-map for .NET, re-written in F#☆14Updated 3 years ago
- Uses Myriad to generate type safe reflection calls to internal functions/properties/methods.☆14Updated 2 years ago
- Visual Studio Linter for F#☆33Updated 3 years ago
- Falco GraphQL Sample 🐣💙💛🤍💚☆17Updated last year
- Seamless CI/CD tool for building and deploying monorepos. Support HCL-like configuration, builds in containers, outputs caching, extensio…☆22Updated last week
- A Fable React hook library for validating UI inputs and displaying error messages☆16Updated 3 months ago
- Serialization library for C# and F#.☆18Updated 2 weeks ago
- F# .NET global tool to grap the first frame of a GIF as a PNG☆17Updated 3 years ago
- Hedgehog with batteries included: Auto-generators, extra combinators, and more.☆24Updated last month
- PUF - Program Updater Framework. A library to easier the task of program updating☆14Updated 4 years ago
- Static UWP views for elmish programs running with the Uno Platform☆26Updated 4 years ago
- Generate signature files for F#☆47Updated last month
- A WIP FSharp DSL for creating POV scenes☆9Updated 3 years ago
- ☆20Updated 2 years ago
- A toolkit for building IDE-style web applications, using Sutil.☆19Updated 2 weeks ago
- A library to build declarative, composable, reactive user interfaces with WebSharper.☆14Updated last week
- Code to accompany blog post☆11Updated 3 years ago
- Lightweight System.IO.Path and System.IO.File for Fable - https://www.nuget.org/packages/Fable.System.IO/☆22Updated last year
- A visual object tree inspector for the F# Interactive☆18Updated last year
- F# version of Doom using original rendering techniques (BSP etc.)☆22Updated 2 years ago
- An intelligent browser extension to silence toxic Twitter DMs powered by ML.NET, Bolero and .NET 5.☆18Updated 4 years ago
- An implementation of the WsdlProvider compatible with netfx and netcore☆24Updated last month
- F# interface for Akka.NET☆36Updated last month