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 2 months ago
- 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 2 months 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.
- 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.☆285Updated this 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☆45Jun 14, 2026Updated 2 weeks 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.
- FSharpx.Collections is a collection of datastructures for use with F# and C#.☆255Jun 12, 2026Updated 2 weeks ago
- High performance System.Threading.(Value)Task computation expressions for F#☆247Nov 30, 2022Updated 3 years ago
- Regular expression for matrix information. I.e. parse structured blocks of information from csv or excel files (or similar 2d matrixes)☆28Jun 9, 2026Updated 3 weeks 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☆47Jun 23, 2026Updated last week
- Practical generic programming for F#☆325Feb 7, 2025Updated last year
- Operations Research in F#☆12Apr 27, 2026Updated 2 months ago
- Introduction to F#☆10Jul 22, 2019Updated 6 years ago
- F# Yaml 1.2 parser☆63Aug 1, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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.☆153Updated this week
- 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
- 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.
- Experiment with F#, type holes, and type-directed search using F# Analyzers☆32Dec 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#☆175Jun 15, 2026Updated 2 weeks ago
- Fable bindings for Electron apps☆46Jun 21, 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☆288Apr 18, 2026Updated 2 months ago