kant2002 / fstarsample
Sample how to perform export of F* to F# with Nuget
☆9Updated 7 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 6 months ago
- Desktop App to analyze usage of disk space.☆21Updated 2 years ago
- A set of libraries that allow Router-like experiences for general purpose F# Apps☆17Updated 4 months ago
- Hedgehog with batteries included: Auto-generators, extra combinators, and more.☆24Updated 3 weeks ago
- https://github.com/mozilla/source-map for .NET, re-written in F#☆14Updated 3 years ago
- Seamless CI/CD tool for building and deploying monorepos. Support HCL-like configuration, builds in containers, outputs caching, extensio…☆21Updated last week
- An F# library for writing and reading .NET assemblies and modules☆12Updated 3 years ago
- F# version of Doom using original rendering techniques (BSP etc.)☆22Updated 2 years ago
- Uses Myriad to generate type safe reflection calls to internal functions/properties/methods.☆14Updated 2 years ago
- Collection of tools used when developing for Fantomas☆35Updated 2 months ago
- Python core implemented in F# language and under dotnetcore 3.1 or later.☆25Updated 4 years ago
- ExtLauncher is a dotnet tool to search and launch quickly projects in the user's preferred applications.☆10Updated last year
- Packrat parsing of left-recursive grammars via F# active patterns. Efficient and expressive.☆14Updated 6 years ago
- Lightweight System.IO.Path and System.IO.File for Fable - https://www.nuget.org/packages/Fable.System.IO/☆22Updated last year
- ☆20Updated 2 years ago
- A simple computer algebra system (CAS), written in F# for fun and learning.☆16Updated 4 years ago
- Sokoban game for iOS and Android written in F# using Xamarin Fabulous framework☆20Updated 6 years ago
- A toolkit for building IDE-style web applications, using Sutil.☆19Updated last week
- Cross-platform desktop apps in F# using web tech - https://www.nuget.org/packages/Interstellar.Core/☆45Updated 8 months ago
- Simply extract JSON values from HTTP requests without defining intermediate types or using model binding☆20Updated 3 years ago
- Generate signature files for F#☆47Updated 3 weeks ago
- Open source F# mathematical logic library.☆11Updated 2 years ago
- Visual Studio Linter for F#☆33Updated 3 years ago
- A WIP FSharp DSL for creating POV scenes☆9Updated 3 years ago
- Ananoid provides nano identifiers, an alternative to UUIDs.☆16Updated last year
- A version of the default Fabulous app template running on Linux and macOS☆12Updated 4 years ago
- This repo shows how to use F# Analyzer in your F# project☆18Updated 5 years ago
- Roslyn read-only API to work with F# code (via bridge to FSharp.Compiler.Service)☆38Updated 6 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
- Juniper contains Azure business reporting utils and uses an high level computation expression on top of the EPPlus excel package to creat…☆14Updated 5 years ago