session-type-provider / session-type-provider.github.io
Session Type Provider Home Page
☆11Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for session-type-provider.github.io
- ☆14Updated 5 years ago
- Constraint Type provider is a Type provider that provides constraints over F# Types.☆14Updated 7 years ago
- Experiment with F#, type holes, and type-directed search using F# Analyzers☆31Updated 4 years ago
- Repository of small F# 🦊 utilities, mainly for using with FAKE☆31Updated 3 years ago
- An implementation of the WsdlProvider compatible with netfx and netcore☆24Updated 9 months ago
- An F# computation expression that groups Fable UI data into one or more collapsible panels☆40Updated last year
- Represent folding of data structures and streams as values composable via F# applicative computation expressions☆21Updated last year
- ☆14Updated last year
- A Gherkin TypeProvider☆17Updated 4 years ago
- This is an extension for Suave.io with some REST tools and Swagger documentation helpers☆33Updated 4 years ago
- small and lean .net service-bus☆42Updated 9 months ago
- Native support for destructuring F# types when logging to Serilog.☆38Updated 7 months ago
- Very experimental PoC of running Pulumi as F# CEs☆17Updated 5 years ago
- Generate signature files for F#☆36Updated this week
- Superfast watcher for fsi.☆19Updated 3 years ago
- Content for a workshop on Mathematical Planning☆20Updated 3 years ago
- limited dependent typing via F# Type Provider☆54Updated 6 years ago
- Conway's Game of Life in Web Assembly, built using Bolero☆31Updated 4 years ago
- XML Type Provider with schema support☆32Updated 6 years ago
- Compositional Query Framework for F# Queries, based on "A Practical Theory of Language-Integrated Query"☆67Updated 5 years ago
- This library provides strict left folds that stream in constant memory, and you can combine folds using Applicative style to derive new f…☆34Updated 8 months ago
- Regular expression for matrix information. I.e. parse structured blocks of information from csv or excel files (or similar 2d matrixes)☆27Updated 6 years ago
- Additions for working with F# Interactive, especially modified or added printers.☆24Updated 2 years ago
- Demo of using Kestrel Http Server with F#☆13Updated 8 years ago
- Type equality for F#☆45Updated 9 months ago
- F# Encoding☆9Updated 2 years ago
- ☆15Updated 2 years ago
- Enables to create copies (similar to lenses) to generated FSharp.Data types (json only for now)☆13Updated last year
- Minimal type inference Algorithm W and Algorithm M in F#☆34Updated last year
- This repository features a toolbox for the tabletop rpg pathfinder.☆16Updated 3 years ago