experiments with @robkuz LimitedValue type
☆72Sep 28, 2019Updated 6 years ago
Alternatives and similar repositories for DependentTypes
Users that are interested in DependentTypes are comparing it to the libraries listed below
Sorting:
- F# Type providers generating literals from the compile-time environment☆136Mar 6, 2026Updated 2 weeks ago
- A set of utilities, that you always wanted to have in F#.☆127Mar 23, 2022Updated 3 years ago
- A type provider for regular expressions.☆78Oct 11, 2019Updated 6 years ago
- F# Markdown Slide Creation Tool based on Remark☆11Sep 14, 2018Updated 7 years ago
- Builds PDF's from pure F# (and needs a more interesting name)☆123Jan 24, 2026Updated last month
- This is an extension for Suave.io with some REST tools and Swagger documentation helpers☆33Sep 4, 2020Updated 5 years ago
- Parallel (multi-core) sequence operations☆72Oct 31, 2021Updated 4 years ago
- A component to cluster map markers.☆19Oct 20, 2020Updated 5 years ago
- Release with confidence, state-of-the-art property testing for .NET.☆283Jan 13, 2026Updated 2 months ago
- FSharp redis codecs based on Fleece patterns☆13Apr 2, 2022Updated 3 years ago
- Mechanic plugin for VS Code☆17Apr 17, 2018Updated 7 years ago
- The FSharp.Configuration project contains type providers for the configuration of .NET projects.☆115May 3, 2025Updated 10 months ago
- A collection of awesome resources for learning F#.☆21Nov 17, 2016Updated 9 years ago
- An F# library for composing state-aware functions by @SchlenkR☆43Updated this week
- FSharpx.Collections is a collection of datastructures for use with F# and C#.☆253Updated this week
- High performance System.Threading.(Value)Task computation expressions for F#☆245Nov 30, 2022Updated 3 years ago
- Provides a safe API for binding the dotnet IConfiguration to types in F#.☆34Sep 3, 2024Updated last year
- Regular expression for matrix information. I.e. parse structured blocks of information from csv or excel files (or similar 2d matrixes)☆28Oct 18, 2018Updated 7 years ago
- Helper tool to verify semantic version changes based on API surface area changes☆48Feb 20, 2026Updated last month
- Practical generic programming for F#☆321Feb 7, 2025Updated last year
- Operations Research in F#☆12Nov 7, 2025Updated 4 months ago
- Introduction to F#☆10Jul 22, 2019Updated 6 years ago
- F# Yaml 1.2 parser☆63Aug 1, 2023Updated 2 years ago
- Asynchronous programming utilities for F#☆95Jan 12, 2024Updated 2 years ago
- FsConfig is a F# library for reading configuration data from environment variables and AppSettings with type safety.☆170Oct 24, 2023Updated 2 years ago
- A library for incremental computations. Based on janestreet/incremental (https://github.com/janestreet/incremental) for OCaml.☆72Sep 6, 2018Updated 7 years ago
- Facil generates F# data access source code from SQL queries and stored procedures. Optimized for developer happiness.☆152Feb 2, 2026Updated last month
- F# templating library with simple syntax designed for smooth work with F# types.☆120Feb 6, 2025Updated last year
- Femto is a CLI tool that automatically resolves npm packages used by Fable bindings☆168Sep 8, 2024Updated last year
- Thoth is a set of several libraries for working with Fable applications.☆74Nov 8, 2019Updated 6 years ago
- DLR interop for F# -- works like dynamic keyword in C#☆97Jan 11, 2022Updated 4 years ago
- A Common Intermediate Language backend for Idris 1☆134Oct 29, 2018Updated 7 years ago
- Experiment with F#, type holes, and type-directed search using F# Analyzers☆31Dec 24, 2019Updated 6 years ago
- Tool to convert dotnet core dependencies to nix expressions, this project itself is the test case for now☆11Oct 11, 2022Updated 3 years ago
- Fable bindings for Electron apps☆46Updated this week
- Asynchronous sequences for F#☆172Updated this week
- F# wrapper for MongoDB☆15Mar 4, 2023Updated 3 years ago
- ☆36Apr 1, 2023Updated 2 years ago
- Type-safe communication layer (RPC-style) for F# featuring Fable and .NET Apps☆284Jun 30, 2025Updated 8 months ago