limited dependent typing via F# Type Provider
☆56Mar 2, 2018Updated 8 years ago
Alternatives and similar repositories for DependentTypesProvider
Users that are interested in DependentTypesProvider are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Constraint Type provider is a Type provider that provides constraints over F# Types.☆14Aug 3, 2017Updated 9 years ago
- A lightweight library of abstractions for Higher-kinded programming in F#☆185Mar 2, 2018Updated 8 years ago
- F# DSL for Enterprise Integration Patterns☆18Dec 4, 2018Updated 7 years ago
- A port of Bryan O'Sullivan's attoparsec from Haskell to F#☆28Nov 29, 2017Updated 8 years ago
- Type provider for generating and injecting F# code from compile time metaprograms☆54Oct 2, 2015Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- [DEPRECATED, use FsToolkit.ErrorHandling] AsyncResult and Result computation expressions and helper functions for error handling in F#☆43Apr 23, 2019Updated 7 years ago
- [ARCHIVED] FsControl in now included in FSharpPlus https://fsprojects.github.io/FSharpPlus☆102Dec 25, 2016Updated 9 years ago
- This library provides a set of F# helpers for string manipulations, logging, collection data structures, file operations, text processing…☆372Aug 24, 2026Updated 2 months ago
- F# API search engine☆35May 5, 2022Updated 4 years ago
- Create type providers just by implementing a simple REST service☆19Aug 3, 2016Updated 10 years ago
- A monadic web scraping library☆17Oct 10, 2018Updated 8 years ago
- Multi-stage Programming in F#☆12Mar 30, 2016Updated 10 years ago
- F# Yaml 1.2 parser☆63Aug 1, 2023Updated 3 years ago
- Gjallarhorn is a small, lightweight framework for managing mutable state when notifications are required.☆120Jan 3, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Quotation Compilation library that uses FSharp.Compiler.Service☆77Dec 8, 2020Updated 5 years ago
- Practical generic programming for F#☆324Feb 7, 2025Updated last year
- Provides an extensible solution for creating Data Processing Pipelines in F#.☆15Apr 7, 2018Updated 8 years ago
- A set of operators for FParsec (http://www.quanttec.com/fparsec/) intended to simplify chaining parsers together.☆47May 16, 2026Updated 5 months ago
- F# Functional IO Library☆14Mar 2, 2018Updated 8 years ago
- fscx is an alternative F# compiler which enables to replace AST at compile time.☆46Jun 26, 2017Updated 9 years ago
- Routing library for Azure Functions☆35Apr 19, 2020Updated 6 years ago
- F# Async workflow <--> .NET Task/ValueTask easy seamless interoperability library.☆160Nov 12, 2022Updated 3 years ago
- Session Type Provider Home Page☆11Mar 12, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The SDK for creating F# type providers☆304Updated this week
- A hashids (http://hashids.org) implementation in F#☆14Aug 24, 2017Updated 9 years ago
- FSharp redis codecs based on Fleece patterns☆13Apr 2, 2022Updated 4 years ago
- A Consul + Vault F# library – service discovery and secret management for your F# apps and services.☆31May 21, 2018Updated 8 years ago
- Write F# unit test assertions as quoted expressions, get step-by-step failure messages for free☆298Dec 1, 2024Updated last year
- F# computation expression builder for System.Threading.Tasks☆235Oct 6, 2026Updated 3 weeks ago
- Functional test library for F# / C# / VB.NET☆125Nov 16, 2025Updated 11 months ago
- The Visual F# compiler and tools☆41Mar 18, 2018Updated 8 years ago
- An extended core library for F#.☆179Nov 7, 2021Updated 4 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ScanRat - PEG Parser Combinators for F# with support for Left Recursion and Memoization☆62Aug 22, 2020Updated 6 years ago
- ☆11Feb 17, 2023Updated 3 years ago
- Apply systemwide resilience strategies consistently across subsystems, standing on Polly's shoulders☆16Nov 20, 2020Updated 5 years ago
- Generates F# code from protobuf schema for binary and json format☆144Oct 17, 2021Updated 5 years ago
- Nice F# support for Newtonsoft.JSON - tuples as arrays, maps as objects, lists as arrays, unions as _name-metadata annotated arrays, deci…☆19May 14, 2016Updated 10 years ago
- A quotations evaluator/compiler for F# based on LINQ expression tree compilation☆74Mar 12, 2020Updated 6 years ago
- Roslyn read-only API to work with F# code (via bridge to FSharp.Compiler.Service)☆40Jul 6, 2018Updated 8 years ago