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 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
- [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…☆372Jun 11, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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 9 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#☆322Feb 7, 2025Updated last year
- A lightweight library of abstractions for Higher-kinded programming in F#☆187Mar 2, 2018Updated 8 years ago
- fscx is an alternative F# compiler which enables to replace AST at compile time.☆45Jun 26, 2017Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A set of operators for FParsec (http://www.quanttec.com/fparsec/) intended to simplify chaining parsers together.☆47May 16, 2026Updated 2 months ago
- A monadic web scraping library☆17Oct 10, 2018Updated 7 years ago
- F# Yaml 1.2 parser☆63Aug 1, 2023Updated 2 years ago
- A hashids (http://hashids.org) implementation in F#☆14Aug 24, 2017Updated 8 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 5 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Write F# unit test assertions as quoted expressions, get step-by-step failure messages for free☆300Dec 1, 2024Updated last year
- A thin veneer of F#ness arround several different frameworks to make a light weight Mvc framework.☆17Sep 5, 2011Updated 14 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
- 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
- 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
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- [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 9 years ago
- Release with confidence, state-of-the-art property testing for .NET.☆284Jun 29, 2026Updated 3 weeks ago
- An F# Type provider provider☆15Feb 19, 2020Updated 6 years ago
- F# microservice template for Kubernetes☆14May 19, 2021Updated 5 years ago