0xGeorgii / SharpLogicLinks
Open source F# mathematical logic library.
☆12Updated 3 years ago
Alternatives and similar repositories for SharpLogic
Users that are interested in SharpLogic are comparing it to the libraries listed below
Sorting:
- A Fable React hook library for validating UI inputs and displaying error messages☆16Updated 9 months ago
- Operations Research in F#☆12Updated 3 weeks ago
- Enables to create copies (similar to lenses) to generated FSharp.Data types (json only for now)☆15Updated 2 years ago
- Formal verification tool based on predicate calculus and supporting several programming languages☆39Updated 3 months ago
- Port of FSharp.Formatting.Markdown for Fable☆15Updated 4 years ago
- ☆16Updated 2 years ago
- HttpHandler for easily working with query string parameters within Giraffe apps.☆21Updated 4 years ago
- This library provides strict left folds that stream in constant memory, and you can combine folds using Applicative style to derive new f…☆35Updated last year
- Additions for working with F# Interactive, especially modified or added printers.☆22Updated 3 years ago
- Superfast watcher for fsi.☆18Updated 4 years ago
- An animated tree user interface made for Elmish applications☆10Updated 3 years ago
- An implementation of the WsdlProvider compatible with netfx and netcore☆24Updated 7 months ago
- Lightweight System.IO.Path and System.IO.File for Fable - https://www.nuget.org/packages/Fable.System.IO/☆23Updated 2 years ago
- Represent folding of data structures and streams as values composable via F# applicative computation expressions☆25Updated 2 years ago
- Generate signature files for F#☆48Updated last month
- Generic F# ADO Provider Wrapper☆35Updated last year
- Moved to Codeberg☆15Updated 8 months ago
- ☆17Updated 8 months ago
- Generate odata query with fsharp computation expression☆20Updated last year
- A more functional construct on-top of Fable.Core.☆43Updated 4 years ago
- Native support for destructuring F# types when logging to Serilog.☆39Updated last week
- Hierarchical State Machine library☆51Updated 4 years ago
- Repository of small F# 🦊 utilities, mainly for using with FAKE☆32Updated 4 years ago
- F# library for accessing and manipulating bioinformatic datasets.☆24Updated last year
- ☆21Updated 2 years ago
- An F# computation expression that groups Fable UI data into one or more collapsible panels☆40Updated 2 years ago
- F# (Fable) support for Jupyter☆30Updated 3 years ago
- Some Myriad source generators for F#☆23Updated this week
- A dead-simple node version manager written in F#☆20Updated 5 months ago
- Uses Myriad to generate type safe reflection calls to internal functions/properties/methods.☆14Updated 3 years ago