0xGeorgii / SharpLogic
Open source F# mathematical logic library.
☆11Updated 2 years ago
Alternatives and similar repositories for SharpLogic:
Users that are interested in SharpLogic are comparing it to the libraries listed below
- This library provides strict left folds that stream in constant memory, and you can combine folds using Applicative style to derive new f…☆34Updated last year
- A Fable React hook library for validating UI inputs and displaying error messages☆16Updated last month
- Uses Myriad to generate type safe reflection calls to internal functions/properties/methods.☆14Updated 2 years ago
- Superfast watcher for fsi.☆18Updated 4 years ago
- https://github.com/mozilla/source-map for .NET, re-written in F#☆13Updated 3 years ago
- Port of FSharp.Formatting.Markdown for Fable☆15Updated 3 years ago
- An implementation of the WsdlProvider compatible with netfx and netcore☆24Updated last year
- 👨💻 Pokemon search made with F# and Elmish.☆8Updated 2 years ago
- Lightweight System.IO.Path and System.IO.File for Fable - https://www.nuget.org/packages/Fable.System.IO/☆22Updated last year
- A WIP FSharp DSL for creating POV scenes☆9Updated 3 years ago
- Enables to create copies (similar to lenses) to generated FSharp.Data types (json only for now)☆15Updated last year
- HttpHandler for easily working with query string parameters within Giraffe apps.☆21Updated 3 years ago
- Represent folding of data structures and streams as values composable via F# applicative computation expressions☆24Updated 2 years ago
- Additions for working with F# Interactive, especially modified or added printers.☆23Updated 3 years ago
- Simple tool that allows using FSharp script files .fsx as configurations for applications☆16Updated last month
- ☆15Updated 3 years ago
- Packrat parsing of left-recursive grammars via F# active patterns. Efficient and expressive.☆14Updated 6 years ago
- A graph based approach to type inference written in F#☆15Updated 4 months ago
- ☆15Updated last year
- A Map-like data structure with slicing along dimensions☆28Updated last year
- Visual Studio Linter for F#☆33Updated 3 years ago
- A more functional construct on-top of Fable.Core.☆43Updated 3 years ago
- Async HTML rendering and a simplistic but extensible DSL based on css selectors.☆18Updated 3 months ago
- ☆17Updated 11 months ago
- Native support for destructuring F# types when logging to Serilog.☆39Updated 3 weeks ago
- Generic F# ADO Provider Wrapper☆36Updated 4 months ago
- FSI ♥️ IDE☆20Updated 2 years ago
- Fable binding for the Parsimmon parser combinator library☆21Updated 2 years ago
- A set of extensions, computation expressions and other stuff I'm using☆17Updated last month
- Automation behind F# Weekly☆11Updated 4 months ago