kant2002 / fstarsample
Sample how to perform export of F* to F# with Nuget
☆9Updated 6 months ago
Alternatives and similar repositories for fstarsample:
Users that are interested in fstarsample are comparing it to the libraries listed below
- Automation behind F# Weekly☆11Updated 5 months ago
- A set of libraries that allow Router-like experiences for general purpose F# Apps☆17Updated 4 months ago
- Desktop App to analyze usage of disk space.☆21Updated 2 years ago
- Seamless CI/CD tool for building and deploying monorepos. Support HCL-like configuration, builds in containers, outputs caching, extensio…☆21Updated this week
- Hedgehog with batteries included: Auto-generators, extra combinators, and more.☆24Updated this week
- Visual Studio Linter for F#☆33Updated 3 years ago
- This repository is a minimal starter template for using Spectre.Console from a console application in F#, using commands and settings bin…☆18Updated last year
- Uses Myriad to generate type safe reflection calls to internal functions/properties/methods.☆14Updated 2 years ago
- Generate signature files for F#☆47Updated this week
- https://github.com/mozilla/source-map for .NET, re-written in F#☆13Updated 3 years ago
- Open source F# mathematical logic library.☆11Updated 2 years ago
- An F# library for writing and reading .NET assemblies and modules☆12Updated 3 years ago
- F# .NET global tool to grap the first frame of a GIF as a PNG☆17Updated 3 years ago
- ExtLauncher is a dotnet tool to search and launch quickly projects in the user's preferred applications.☆10Updated last year
- Guide, description and shared knowledge related to FFI in F# and .NET in general☆29Updated 2 years ago
- F# interface for Akka.NET☆32Updated 2 weeks ago
- A F# console app to replace PackageReferences with ProjectReferences in an entire solution.☆11Updated 2 years ago
- ☆19Updated 2 years ago
- A pipeline runner for F#.☆23Updated 2 years ago
- Python core implemented in F# language and under dotnetcore 3.1 or later.☆25Updated 4 years ago
- A library that allows using Htmx attributes with Feliz.ViewEngine☆25Updated 3 years ago
- Live fs/fsx previewer for Avalonia.FuncUI.☆40Updated 10 months ago
- A simple computer algebra system (CAS), written in F# for fun and learning.☆16Updated 4 years ago
- HttpHandler for easily working with query string parameters within Giraffe apps.☆21Updated 3 years ago
- A toolkit for building IDE-style web applications, using Sutil.☆19Updated this week
- An implementation of the WsdlProvider compatible with netfx and netcore☆24Updated last year
- Collection of tools used when developing for Fantomas☆35Updated last month
- Cross-platform desktop apps in F# using web tech - https://www.nuget.org/packages/Interstellar.Core/☆44Updated 7 months ago
- F# version of Doom using original rendering techniques (BSP etc.)☆22Updated 2 years ago
- GitHub Actions configuration generator☆46Updated 4 months ago