session-type-provider / session-type-provider.github.ioLinks
Session Type Provider Home Page
☆11Updated 7 years ago
Alternatives and similar repositories for session-type-provider.github.io
Users that are interested in session-type-provider.github.io are comparing it to the libraries listed below
Sorting:
- ☆14Updated 6 years ago
- Experiment with F#, type holes, and type-directed search using F# Analyzers☆31Updated 6 years ago
- A Gherkin TypeProvider☆18Updated 6 years ago
- An F# computation expression that groups Fable UI data into one or more collapsible panels☆40Updated 2 years ago
- Content for a workshop on Mathematical Planning☆24Updated 4 years ago
- Constraint Type provider is a Type provider that provides constraints over F# Types.☆14Updated 8 years ago
- Repository of small F# 🦊 utilities, mainly for using with FAKE☆32Updated 4 years ago
- An implementation of the WsdlProvider compatible with netfx and netcore☆24Updated 9 months ago
- This is an extension for Suave.io with some REST tools and Swagger documentation helpers☆33Updated 5 years ago
- A library for incremental computations. Based on janestreet/incremental (https://github.com/janestreet/incremental) for OCaml.☆71Updated 7 years ago
- small and lean .net service-bus☆45Updated 5 months ago
- ☆24Updated 9 years ago
- Hierarchical State Machine library☆51Updated 5 years ago
- Conway's Game of Life in Web Assembly, built using Bolero☆31Updated 5 years ago
- Very experimental PoC of running Pulumi as F# CEs☆17Updated 6 years ago
- http://blog.ctaggart.com/2014/09/generating-f-code-using-its-ast.html☆47Updated 3 years ago
- F# plugin for SonarQube. Contains security scanning only.☆24Updated 3 years ago
- A spreadsheet-like interactive evaluator for F#☆51Updated 4 years ago
- Moved to Codeberg☆31Updated 10 months ago
- An F# polymorphic, unqualified-accessible set of functions for List, Seq, and Array.☆12Updated 6 years ago
- Provides a safe API for binding the dotnet IConfiguration to types in F#.☆34Updated last year
- Some standard F# units of measure and conversion functions☆16Updated 2 years ago
- F# Weekly mobile, available for Android (soon iOS and UWP too)☆41Updated 3 years ago
- Opinionated solution template for building F# OSS libraries and tools.☆72Updated 5 years ago
- Native support for destructuring F# types when logging to Serilog.☆43Updated 3 weeks ago
- Interop library between Redis Streams and popular dotnet streaming libraries☆13Updated 4 years ago
- Superfast watcher for fsi.☆18Updated 5 years ago
- Generate signature files for F#☆48Updated this week
- experiments with @robkuz LimitedValue type☆72Updated 6 years ago
- Compositional Query Framework for F# Queries, based on "A Practical Theory of Language-Integrated Query"☆70Updated 6 years ago