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
- Formal verification tool based on predicate calculus and supporting several programming languages☆35Updated this week
- A Fable React hook library for validating UI inputs and displaying error messages☆16Updated 4 months ago
- Uses Myriad to generate type safe reflection calls to internal functions/properties/methods.☆14Updated 2 years ago
- 👨💻 Pokemon search made with F# and Elmish.☆8Updated 2 years ago
- Enables to create copies (similar to lenses) to generated FSharp.Data types (json only for now)☆15Updated 2 years ago
- Represent folding of data structures and streams as values composable via F# applicative computation expressions☆24Updated 2 years ago
- Moved to Codeberg☆15Updated 2 months ago
- A WIP FSharp DSL for creating POV scenes☆9Updated 3 years ago
- HttpHandler for easily working with query string parameters within Giraffe apps.☆21Updated 4 years ago
- Generate signature files for F#☆47Updated last month
- Port of FSharp.Formatting.Markdown for Fable☆15Updated 3 years ago
- Operations Research in F#☆12Updated 2 years ago
- Superfast watcher for fsi.☆18Updated 4 years ago
- A type-level logic programming language embedded in F#☆32Updated 7 years ago
- ☆11Updated last year
- https://github.com/mozilla/source-map for .NET, re-written in F#☆14Updated 3 years ago
- EPUB authoring library for F#.☆29Updated 2 years ago
- An implementation of the WsdlProvider compatible with netfx and netcore☆24Updated last month
- ☆19Updated last year
- FSI ♥️ IDE☆20Updated 2 years ago
- Async HTML rendering and a simplistic but extensible DSL based on css selectors.☆21Updated 2 months ago
- Simple tool that allows using FSharp script files .fsx as configurations for applications☆16Updated 5 months ago
- Additions for working with F# Interactive, especially modified or added printers.☆23Updated 3 years ago
- A graph based approach to type inference written in F#☆16Updated last month
- Tool which converts json from file into F# records☆11Updated 2 years ago
- ☆20Updated 2 years ago
- Hedgehog with batteries included: Auto-generators, extra combinators, and more.☆24Updated 2 months ago
- Provides a safe API for binding the dotnet IConfiguration to types in F#.☆34Updated 9 months ago
- Minimal type inference Algorithm W and Algorithm M in F#☆35Updated last year