experiments with @robkuz LimitedValue type
☆71Sep 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☆135Apr 18, 2026Updated 3 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)☆122Apr 20, 2026Updated 3 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A component to cluster map markers.☆19Oct 20, 2020Updated 5 years ago
- 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
- Release with confidence, state-of-the-art property testing for .NET.☆284Jun 29, 2026Updated 3 weeks ago
- 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
- ☆70Apr 18, 2018Updated 8 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.
- Helper tool to verify semantic version changes based on API surface area changes☆47Jun 23, 2026Updated 3 weeks 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 last month
- FSharpx.Collections is a collection of datastructures for use with F# and C#.☆254Jun 28, 2026Updated 3 weeks ago
- Practical generic programming for F#☆322Feb 7, 2025Updated last year
- Provides a safe API for binding the dotnet IConfiguration to types in F#.☆34Sep 3, 2024Updated last year
- High performance System.Threading.(Value)Task computation expressions for F#☆247Nov 30, 2022Updated 3 years ago
- F# Event Sourcing impl with GES and NES backends derived from FsUno.Prod☆19Mar 2, 2018Updated 8 years ago
- Operations Research in F#☆12Apr 27, 2026Updated 2 months ago
- Introduction to F#☆10Jul 22, 2019Updated 6 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.
- F# Yaml 1.2 parser☆63Aug 1, 2023Updated 2 years ago
- Asynchronous programming utilities for F#☆96Jan 12, 2024Updated 2 years ago
- Facil generates F# data access source code from SQL queries and stored procedures. Optimized for developer happiness.☆152Jun 25, 2026Updated 3 weeks ago
- FsConfig is a F# library for reading configuration data from environment variables and AppSettings with type safety.☆170Oct 24, 2023Updated 2 years ago
- F# templating library with simple syntax designed for smooth work with F# types.☆120Feb 6, 2025Updated last year
- A library for incremental computations. Based on janestreet/incremental (https://github.com/janestreet/incremental) for OCaml.☆72Sep 6, 2018Updated 7 years ago
- Femto is a CLI tool that automatically resolves npm packages used by Fable bindings☆168Sep 8, 2024Updated last year
- DLR interop for F# -- works like dynamic keyword in C#☆97Jan 11, 2022Updated 4 years ago
- Thoth is a set of several libraries for working with Fable applications.☆74Nov 8, 2019Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- F# build library loosely inspired by Haskell Shake☆16Oct 31, 2013Updated 12 years ago
- Experiment with F#, type holes, and type-directed search using F# Analyzers☆32Dec 24, 2019Updated 6 years ago
- Asynchronous sequences for F#☆175Jun 15, 2026Updated last month
- An extended core library for F#.☆180Nov 7, 2021Updated 4 years ago
- A Common Intermediate Language backend for Idris 1☆133Oct 29, 2018Updated 7 years ago
- ☆36Apr 1, 2023Updated 3 years ago
- Type-safe communication layer (RPC-style) for F# featuring Fable and .NET Apps☆288Jul 14, 2026Updated last week