SchlenkR / TypeFighterLinks
A graph based approach to type inference written in F#
â16Updated 2 months ago
Alternatives and similar repositories for TypeFighter
Users that are interested in TypeFighter are comparing it to the libraries listed below
Sorting:
- đ A toy DSL to create presentations in F#â18Updated 2 years ago
- Enables to create copies (similar to lenses) to generated FSharp.Data types (json only for now)â15Updated 2 years ago
- Uses Myriad to generate type safe reflection calls to internal functions/properties/methods.â14Updated 2 years ago
- FluentUI (React) to Fable bindingsâ14Updated 2 years ago
- A toolkit for building IDE-style web applications, using Sutil.â19Updated 2 weeks ago
- â11Updated this week
- A Map-like data structure with slicing along dimensionsâ28Updated last year
- EPUB authoring library for F#.â29Updated 2 years ago
- Fable bindings for zip.jsâ11Updated 2 years ago
- Higher Order Dependency Injectionâ16Updated 2 months ago
- A Fable React hook library for validating UI inputs and displaying error messagesâ16Updated 5 months ago
- Hierarchical State Machine libraryâ51Updated 4 years ago
- A Hugo inspired static site generatorâ15Updated 2 months ago
- A set of libraries that allow Router-like experiences for general purpose F# Appsâ17Updated 3 weeks ago
- If you have finances to analyze - just do the F#â10Updated 6 months ago
- A one-file recursive descent parser combinator for F# and Fable.â13Updated last year
- Represent folding of data structures and streams as values composable via F# applicative computation expressionsâ24Updated 2 years ago
- Falco GraphQL Sample đŁđđđ¤đâ18Updated last year
- A library to build declarative, composable, reactive user interfaces with WebSharper.â14Updated 3 weeks ago
- Sokoban game for iOS and Android written in F# using Xamarin Fabulous frameworkâ20Updated 6 years ago
- Open source F# mathematical logic library.â12Updated 3 years ago
- https://github.com/mozilla/source-map for .NET, re-written in F#â14Updated 3 years ago
- â19Updated last year
- Formal verification tool based on predicate calculus and supporting several programming languagesâ36Updated 2 weeks ago
- A visual object tree inspector for the F# Interactiveâ18Updated last year
- Provides a compile-time transformation to generate web components from react componentsâ19Updated 4 years ago
- Generate signature files for F#â47Updated 2 weeks ago
- This library provides strict left folds that stream in constant memory, and you can combine folds using Applicative style to derive new fâŚâ35Updated last year
- A type-level logic programming language embedded in F#â32Updated 7 years ago
- Superfast watcher for fsi.â18Updated 4 years ago