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
- 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
- [DEPRECATED, use FsToolkit.ErrorHandling] AsyncResult and Result computation expressions and helper functions for error handling in F#☆43Apr 23, 2019Updated 7 years ago
- This library provides a set of F# helpers for string manipulations, logging, collection data structures, file operations, text processing…☆371Aug 24, 2026Updated 3 weeks ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Type provider for generating and injecting F# code from compile time metaprograms☆54Oct 2, 2015Updated 10 years ago
- Create type providers just by implementing a simple REST service☆19Aug 3, 2016Updated 10 years ago
- F# Functional IO Library☆14Mar 2, 2018Updated 8 years ago
- F# API search engine☆35May 5, 2022Updated 4 years ago
- Multi-stage Programming in F#☆12Mar 30, 2016Updated 10 years ago
- Provides an extensible solution for creating Data Processing Pipelines in F#.☆15Apr 7, 2018Updated 8 years ago
- Practical generic programming for F#☆323Feb 7, 2025Updated last year
- A lightweight library of abstractions for Higher-kinded programming in F#☆185Mar 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
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A set of operators for FParsec (http://www.quanttec.com/fparsec/) intended to simplify chaining parsers together.☆47May 16, 2026Updated 4 months ago
- A monadic web scraping library☆17Oct 10, 2018Updated 7 years ago
- F# Yaml 1.2 parser☆63Aug 1, 2023Updated 3 years ago
- A hashids (http://hashids.org) implementation in F#☆14Aug 24, 2017Updated 9 years ago
- Gjallarhorn is a small, lightweight framework for managing mutable state when notifications are required.☆120Jan 3, 2021Updated 5 years ago
- ScanRat - PEG Parser Combinators for F# with support for Left Recursion and Memoization☆62Aug 22, 2020Updated 6 years ago
- F# computation expression builder for System.Threading.Tasks☆235Jan 31, 2021Updated 5 years ago
- The Visual F# compiler and tools☆41Mar 18, 2018Updated 8 years ago
- F# Async workflow <--> .NET Task/ValueTask easy seamless interoperability library.☆160Nov 12, 2022Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Write F# unit test assertions as quoted expressions, get step-by-step failure messages for free☆298Dec 1, 2024Updated last year
- 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
- F# community activity aggregator, built with WebSharper.☆15Feb 14, 2016Updated 10 years ago
- Ferop is a .NET library that allows inline C/C++ to compile and run on Windows/Linux/OSX. (beta, not production ready)☆34Dec 6, 2019Updated 6 years ago
- Prototype for an F# MSIL DSL☆27Oct 24, 2013Updated 12 years ago
- Author Apache Storm topologies and components in F#☆24Apr 26, 2017Updated 9 years ago
- A library for fast reflective updates to immutable data trees☆19Feb 28, 2018Updated 8 years ago
- The FSharp.Management project contains various type providers for the management of the machine.☆93Jun 17, 2019Updated 7 years ago
- An attempt to provide a concrete, working example to demonstrate to C# developers how F# can improve their workflow and performance☆22Jun 19, 2020Updated 6 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- [DEPRECATED] F# and .NET Core SDK working together☆97Jan 8, 2019Updated 7 years ago
- Roslyn read-only API to work with F# code (via bridge to FSharp.Compiler.Service)☆40Jul 6, 2018Updated 8 years ago
- Generates F# code from protobuf schema for binary and json format☆144Oct 17, 2021Updated 4 years ago
- Using Suave on top of Kestrel Server.☆13Jul 25, 2016Updated 10 years ago
- Release with confidence, state-of-the-art property testing for .NET.☆284Jun 29, 2026Updated 2 months ago
- An F# Type provider provider☆15Feb 19, 2020Updated 6 years ago
- F# microservice template for Kubernetes☆14Aug 12, 2026Updated last month