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)☆123Apr 20, 2026Updated 3 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.
- 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 last month
- Mechanic plugin for VS Code☆17Apr 17, 2018Updated 8 years ago
- FSharp redis codecs based on Fleece patterns☆13Apr 2, 2022Updated 4 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#.☆20Nov 17, 2016Updated 9 years ago
- ☆70Apr 18, 2018Updated 8 years ago
- 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.
- Helper tool to verify semantic version changes based on API surface area changes☆47Jun 23, 2026Updated last month
- Regular expression for matrix information. I.e. parse structured blocks of information from csv or excel files (or similar 2d matrixes)☆28Jun 9, 2026Updated 2 months ago
- FSharpx.Collections is a collection of datastructures for use with F# and C#.☆254Updated this week
- 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 3 months ago
- Introduction to F#☆10Jul 22, 2019Updated 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.
- F# Yaml 1.2 parser☆63Aug 1, 2023Updated 3 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 last month
- FsConfig is a F# library for reading configuration data from environment variables and AppSettings with type safety.☆171Oct 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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#☆175Updated this week
- An extended core library for F#.☆179Nov 7, 2021Updated 4 years ago
- ☆36Apr 1, 2023Updated 3 years ago
- A Common Intermediate Language backend for Idris 1☆133Oct 29, 2018Updated 7 years ago
- Type-safe communication layer (RPC-style) for F# featuring Fable and .NET Apps☆288Jul 14, 2026Updated 3 weeks ago