0xGeorgii / SharpLogic
Open source F# mathematical logic library.
☆11Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for SharpLogic
- Uses Myriad to generate type safe reflection calls to internal functions/properties/methods.☆14Updated 2 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…☆34Updated 8 months ago
- Port of FSharp.Formatting.Markdown for Fable☆14Updated 3 years ago
- Generate signature files for F#☆36Updated last week
- Superfast watcher for fsi.☆19Updated 3 years ago
- ☆15Updated 2 years ago
- A Fable React hook library for validating UI inputs and displaying error messages☆15Updated 10 months ago
- F# library for accessing and manipulating bioinformatic datasets.☆23Updated 8 months ago
- A WIP FSharp DSL for creating POV scenes☆9Updated 2 years ago
- https://github.com/mozilla/source-map for .NET, re-written in F#☆13Updated 2 years ago
- Represent folding of data structures and streams as values composable via F# applicative computation expressions☆23Updated last year
- Additions for working with F# Interactive, especially modified or added printers.☆24Updated 2 years ago
- 👨💻 Pokemon search made with F# and Elmish.☆8Updated last year
- An implementation of the WsdlProvider compatible with netfx and netcore☆24Updated 9 months ago
- HttpHandler for easily working with query string parameters within Giraffe apps.☆21Updated 3 years ago
- FSI ♥️ IDE☆20Updated last year
- Enables to create copies (similar to lenses) to generated FSharp.Data types (json only for now)☆13Updated last year
- Higher Order Dependency Injection☆11Updated 2 months ago
- An F# library to connect to the Stripe API, including code generators to update the model and requests.☆36Updated 11 months ago
- A Map-like data structure with slicing along dimensions☆28Updated last year
- http://blog.ctaggart.com/2014/09/generating-f-code-using-its-ast.html☆47Updated 2 years ago
- Repository of small F# 🦊 utilities, mainly for using with FAKE☆31Updated 3 years ago
- A type-level logic programming language embedded in F#☆31Updated 6 years ago
- ☆16Updated 6 months ago
- A domain specific language (DSL) for creating mermaid graph YAML!☆20Updated 5 months ago
- Automation behind F# Weekly☆11Updated 2 weeks ago
- F# (Fable) support for Jupyter☆30Updated 2 years ago
- Builds cloud-init VM configuration files in F#☆14Updated 5 months ago
- A toolkit for building IDE-style web applications, using Sutil.☆18Updated 2 weeks ago
- Experiment with F#, type holes, and type-directed search using F# Analyzers☆31Updated 4 years ago