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:
- 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
- Enables to create copies (similar to lenses) to generated FSharp.Data types (json only for now)☆15Updated last year
- A theorem prover embedded in F#'s computation expressions☆35Updated this week
- A Fable React hook library for validating UI inputs and displaying error messages☆16Updated 3 months ago
- Represent folding of data structures and streams as values composable via F# applicative computation expressions☆24Updated 2 years ago
- 👨💻 Pokemon search made with F# and Elmish.☆8Updated 2 years ago
- A WIP FSharp DSL for creating POV scenes☆9Updated 3 years ago
- https://github.com/mozilla/source-map for .NET, re-written in F#☆14Updated 3 years ago
- An implementation of the WsdlProvider compatible with netfx and netcore☆24Updated last month
- ☆20Updated 2 years ago
- HttpHandler for easily working with query string parameters within Giraffe apps.☆21Updated 4 years ago
- Superfast watcher for fsi.☆18Updated 4 years ago
- Additions for working with F# Interactive, especially modified or added printers.☆23Updated 3 years ago
- Minimal type inference Algorithm W and Algorithm M in F#☆35Updated last year
- ☆15Updated last year
- Operations Research in F#☆12Updated 2 years ago
- Hedgehog with batteries included: Auto-generators, extra combinators, and more.☆24Updated last month
- Moved to Codeberg☆15Updated 2 months ago
- A graph based approach to type inference written in F#☆16Updated 3 weeks ago
- Port of FSharp.Formatting.Markdown for Fable☆15Updated 3 years ago
- Lightweight System.IO.Path and System.IO.File for Fable - https://www.nuget.org/packages/Fable.System.IO/☆22Updated last year
- Generate signature files for F#☆47Updated last month
- Higher Order Dependency Injection☆16Updated 3 weeks ago
- Visual Studio Linter for F#☆33Updated 3 years ago
- Uses Myriad to generate type safe reflection calls to internal functions/properties/methods.☆14Updated 2 years ago
- Async HTML rendering and a simplistic but extensible DSL based on css selectors.☆21Updated 2 months ago
- A more functional construct on-top of Fable.Core.☆43Updated 3 years ago
- FSI ♥️ IDE☆20Updated 2 years ago
- A type-level logic programming language embedded in F#☆32Updated 7 years ago
- EPUB authoring library for F#.☆29Updated 2 years ago