Minimal type inference Algorithm W and Algorithm M in F#
☆35Oct 23, 2023Updated 2 years ago
Alternatives and similar repositories for TypeInferencer
Users that are interested in TypeInferencer are comparing it to the libraries listed below
Sorting:
- Hierarchical State Machine library☆51Jan 19, 2021Updated 5 years ago
- Different type inference algorithms implemented in F#☆164Mar 2, 2021Updated 5 years ago
- small and lean .net service-bus☆45Aug 31, 2025Updated 6 months ago
- A simple functional library to create Markdown files.☆47Sep 23, 2024Updated last year
- F# Yaml 1.2 parser☆63Aug 1, 2023Updated 2 years ago
- A library for easily parsing and working with XML in Fable projects☆17Jan 7, 2023Updated 3 years ago
- ☆36Apr 1, 2023Updated 2 years ago
- .NET Cross platform and highly composable middleware for building web request handlers in F#☆211Feb 26, 2026Updated last week
- Vide - for state-aware function composition, usable from modern UIs to digital signal processing.☆93Feb 16, 2026Updated 2 weeks ago
- Generate odata query with fsharp computation expression☆20Sep 5, 2024Updated last year
- Interactive Theorem Proving for students☆21Aug 26, 2023Updated 2 years ago
- High performance System.Threading.(Value)Task computation expressions for F#☆245Nov 30, 2022Updated 3 years ago
- Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.☆11Sep 17, 2014Updated 11 years ago
- A truly mini physics and game engine for the web☆12Dec 12, 2025Updated 2 months ago
- An alternative way to interact with MongoDB databases from F# that allows you to use mongo-idiomatic constructs☆44Sep 26, 2023Updated 2 years ago
- Fsharp LInear Programming System☆271Feb 28, 2026Updated last week
- 🧪 | Lisp with REPL and macros which will compile itself☆13Dec 4, 2024Updated last year
- A proof-of-concept demo of Bolero serverless SPA running on GitHub Pages using WebAssembly☆14Mar 24, 2021Updated 4 years ago
- Advent of Code 2021, but I can only use TypeScript's type system to solve the puzzles☆12Dec 7, 2021Updated 4 years ago
- ☆13Mar 10, 2023Updated 2 years ago
- A F# Library for simplifying access to remote data, with caching and batching☆12Oct 18, 2017Updated 8 years ago
- Dependency Manager loading fsproj into FSI instance☆15Mar 17, 2024Updated last year
- F# -> ASM disassembler☆192Nov 22, 2023Updated 2 years ago
- Oly Language Compiler and Runtime☆59Feb 26, 2026Updated last week
- Thin F# API for AzureTable for easy data access to azure tables with functional seasoning on top☆17Jan 24, 2026Updated last month
- Type provider for generating and injecting F# code from compile time metaprograms☆54Oct 2, 2015Updated 10 years ago
- Simple tool that allows using FSharp script files .fsx as configurations for applications☆16Jan 26, 2025Updated last year
- Terraform .net DSL☆15Aug 14, 2018Updated 7 years ago
- Serialization library for C# and F#.☆19Feb 5, 2026Updated last month
- F# game composition library☆169Dec 24, 2024Updated last year
- Security testing library written in F# to make writing security tests more fun.☆27Nov 26, 2022Updated 3 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
- Higher Order Dependency Injection☆16May 13, 2025Updated 9 months ago
- 🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.☆15Aug 13, 2022Updated 3 years ago
- A TOML parser for Idris 2☆17Jun 27, 2024Updated last year
- Semi-safely generate CIL in F#☆57May 22, 2021Updated 4 years ago
- HTTP library for F#☆495Updated this week
- F# units of measure for primitive non-numeric types☆193Apr 24, 2025Updated 10 months ago
- Type Safe Text Templates - usable as type provider (F#) or source generator (C#)☆71Dec 10, 2025Updated 2 months ago