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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- F# Type providers generating literals from the compile-time environment☆136Apr 18, 2026Updated last month
- A set of utilities, that you always wanted to have in F#.☆127Mar 23, 2022Updated 4 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)☆123Apr 20, 2026Updated last month
- 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.
- 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☆71Oct 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.☆285May 10, 2026Updated last week
- FSharp redis codecs based on Fleece patterns☆13Apr 2, 2022Updated 4 years ago
- Mechanic plugin for VS Code☆17Apr 17, 2018Updated 8 years ago
- The FSharp.Configuration project contains type providers for the configuration of .NET projects.☆115May 3, 2025Updated last year
- A collection of awesome resources for learning F#.☆21Nov 17, 2016Updated 9 years ago
- An F# library for composing state-aware functions by @SchlenkR☆43Apr 14, 2026Updated last month
- 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.
- FSharpx.Collections is a collection of datastructures for use with F# and C#.☆254May 13, 2026Updated last week
- 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
- 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
- Helper tool to verify semantic version changes based on API surface area changes☆47May 9, 2026Updated last week
- Practical generic programming for F#☆323Feb 7, 2025Updated last year
- Operations Research in F#☆12Apr 27, 2026Updated 3 weeks ago
- Introduction to F#☆10Jul 22, 2019Updated 6 years ago
- F# Yaml 1.2 parser☆63Aug 1, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Asynchronous programming utilities for F#☆96Jan 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.☆152Mar 20, 2026Updated 2 months ago
- 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☆133Oct 29, 2018Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 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
- Asynchronous sequences for F#☆173May 9, 2026Updated last week
- Fable bindings for Electron apps☆46May 10, 2026Updated last week
- F# wrapper for MongoDB☆15Mar 4, 2023Updated 3 years ago
- ☆36Apr 1, 2023Updated 3 years ago
- Type-safe communication layer (RPC-style) for F# featuring Fable and .NET Apps☆285Apr 18, 2026Updated last month