Different type inference algorithms implemented in F#
☆164Mar 2, 2021Updated 5 years ago
Alternatives and similar repositories for write-you-an-inference-in-fsharp
Users that are interested in write-you-an-inference-in-fsharp are comparing it to the libraries listed below
Sorting:
- Semi-safely generate CIL in F#☆57May 22, 2021Updated 4 years ago
- Constraint Type provider is a Type provider that provides constraints over F# Types.☆14Aug 3, 2017Updated 8 years ago
- Minimal type inference Algorithm W and Algorithm M in F#☆35Oct 23, 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
- Terraform .net DSL☆15Aug 14, 2018Updated 7 years ago
- F# Yaml 1.2 parser☆63Aug 1, 2023Updated 2 years ago
- Some standard F# units of measure and conversion functions☆16Jan 27, 2024Updated 2 years ago
- Practical generic programming for F#☆318Feb 7, 2025Updated last year
- experiments with @robkuz LimitedValue type☆72Sep 28, 2019Updated 6 years ago
- A set of utilities, that you always wanted to have in F#.☆127Mar 23, 2022Updated 3 years ago
- A lightweight library of abstractions for Higher-kinded programming in F#☆187Mar 2, 2018Updated 8 years ago
- A library for easily parsing and working with XML in Fable projects☆17Jan 7, 2023Updated 3 years ago
- An F# Type provider provider☆15Feb 19, 2020Updated 6 years ago
- Myriad is a code generator for F#☆374Updated this week
- Type equality for F#☆51Jan 22, 2026Updated last month
- Experiment with F#, type holes, and type-directed search using F# Analyzers☆31Dec 24, 2019Updated 6 years ago
- 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
- limited dependent typing via F# Type Provider☆55Mar 2, 2018Updated 8 years ago
- Gjallarhorn is a small, lightweight framework for managing mutable state when notifications are required.☆121Jan 3, 2021Updated 5 years ago
- FsHlvm is a cross-platform open-source high level virtual machine written in F# and uses the LLVM library for high-performance code gener…☆30Nov 21, 2020Updated 5 years ago
- F# full-stack IoT starter project for Raspberry Pi☆43Mar 20, 2018Updated 7 years ago
- Run standard fsharp codes in watch mode☆61Jan 30, 2024Updated 2 years ago
- The Visual F# compiler and tools☆41Mar 18, 2018Updated 7 years ago
- http://blog.ctaggart.com/2014/09/generating-f-code-using-its-ast.html☆48Mar 4, 2022Updated 4 years ago
- Raspberry PI robot powered with FSharp☆12Oct 15, 2017Updated 8 years ago
- Type provider for generating and injecting F# code from compile time metaprograms☆54Oct 2, 2015Updated 10 years ago
- Port of the alga Algebraic Graphs library (https://github.com/snowleopard/alga) to F#☆30Oct 10, 2018Updated 7 years ago
- A language for scientific computing that focuses on safety, expressiveness, and interoperability☆57Apr 8, 2025Updated 10 months ago
- Generates F# code from protobuf schema for binary and json format☆143Oct 17, 2021Updated 4 years ago
- Release with confidence, state-of-the-art property testing for .NET.☆282Jan 13, 2026Updated last month
- A quotations evaluator/compiler for F# based on LINQ expression tree compilation☆75Mar 12, 2020Updated 5 years ago
- Build dockerfiles and run docker commands from F#☆63Nov 5, 2025Updated 4 months ago
- Create type providers just by implementing a simple REST service☆19Aug 3, 2016Updated 9 years ago
- ScanRat - PEG Parser Combinators for F# with support for Left Recursion and Memoization☆61Aug 22, 2020Updated 5 years ago
- A set of operators for FParsec (http://www.quanttec.com/fparsec/) intended to simplify chaining parsers together.☆46Dec 15, 2023Updated 2 years ago
- This library provides a set of F# helpers for string manipulations, logging, collection data structures, file operations, text processing…☆374Jun 11, 2024Updated last year
- High performance System.Threading.(Value)Task computation expressions for F#☆245Nov 30, 2022Updated 3 years ago
- DLR interop for F# -- works like dynamic keyword in C#☆97Jan 11, 2022Updated 4 years ago
- SIMD enhanced Array operations☆137Feb 20, 2026Updated 2 weeks ago