22 packages returned for Tags:"machines"

Sort by

PCSharpRuntime by: p-devs
- 872,179 total downloads
- last updated 4/4/2023
- Latest version: 2.0.5
- P programming language safe asynchrony state machines model checkers
The P Programming Language C# Runtime
Freya.Machines by: xyncrotech
- 77,021 total downloads
- last updated 10/10/2018
- Latest version: 4.0.0
- functional web freya machines f# fsharp
Core utilities and tools for building Freya machines
Freya.Machines.Http by: xyncrotech
- 77,968 total downloads
- last updated 10/10/2018
- Latest version: 4.0.0
- functional web freya machines f# fsharp http
A Freya machine expressing the core HTTP semantics and logic
Freya.Machines.Http.Patch by: xyncrotech
- 75,591 total downloads
- last updated 10/10/2018
- Latest version: 4.0.0
- functional web freya machines f# fsharp http patch
An extension to the Freya HTTP Machine adding Patch support
Freya.Machines.Http.Cors by: xyncrotech
- 75,806 total downloads
- last updated 10/10/2018
- Latest version: 4.0.0
- functional web freya machines f# fsharp http cors
An extension to the Freya HTTP Machine adding CORS support
Freya.Machines.Http.Hopac by: xyncrotech
- 20,414 total downloads
- last updated 10/10/2018
- Latest version: 4.0.0
- functional web freya machines f# fsharp http
A Freya machine expressing the core HTTP semantics and logic
Freya.Machines.Hopac by: xyncrotech
- 19,553 total downloads
- last updated 10/10/2018
- Latest version: 4.0.0
- functional web freya machines f# fsharp
Core utilities and tools for building Freya machines
Freya.Machines.Http.Cors.Hopac by: xyncrotech
- 18,176 total downloads
- last updated 10/10/2018
- Latest version: 4.0.0
- functional web freya machines f# fsharp http cors
An extension to the Freya HTTP Machine adding CORS support
Freya.Machines.Http.Patch.Hopac by: xyncrotech
- 18,006 total downloads
- last updated 10/10/2018
- Latest version: 4.0.0
- functional web freya machines f# fsharp http patch
An extension to the Freya HTTP Machine adding Patch support
nTransition by: Ticviking
- 5,395 total downloads
- last updated 12/15/2014
- Latest version: 0.1.1
- State Machines Validation
nTransition is a simple fluent api to define and validate changes.
p by: p-devs
- 14,946 total downloads
- last updated 5/9/2023
- Latest version: 2.0.10
- P programming language safe asynchrony state machines model checkers
The P Programming Language Compiler
Floomeen by: U25
- 1,416 total downloads
- last updated 12/7/2018
- Latest version: 0.0.21
- finite state machines workflows fluent api gateways
Floomeen is a .NET Standard 2.0 Library for finite state machines development. Use a simple and powerful fluent Api for workflows declaration, custom adapters to allow machines communicate with external... More information
Arachnid.Machines by: petejohanson
- 1,027 total downloads
- last updated 12/3/2017
- Latest version: 1.0.0-alpha001
- functional web arachnid machines f# fsharp
Core utilities and tools for building Arachnid machines
Arachnid.Machines.Hopac by: petejohanson
- 931 total downloads
- last updated 12/3/2017
- Latest version: 1.0.0-alpha001
- functional web arachnid machines f# fsharp hopac
Core utilities and tools for building Arachnid machines, powered by the Hopac concurrency library
Arachnid.Machines.Http by: petejohanson
- 1,026 total downloads
- last updated 12/3/2017
- Latest version: 1.0.0-alpha001
- http functional web arachnid machines f# fsharp
An Arachnid machine expressing the core HTTP semantics and logic
Arachnid.Machines.Http.Cors.Hopac by: petejohanson
- 760 total downloads
- last updated 12/3/2017
- Latest version: 1.0.0-alpha001
- http cors functional web arachnid machines f# fsharp hopac
An extension to the Arachnid HTTP Machine adding CORS support, powered by the Hopac concurrency library
Arachnid.Machines.Http.Cors by: petejohanson
- 756 total downloads
- last updated 12/3/2017
- Latest version: 1.0.0-alpha001
- http cors functional web arachnid machines f# fsharp
An extension to the Arachnid HTTP Machine adding CORS support
Arachnid.Machines.Http.Patch by: petejohanson
- 714 total downloads
- last updated 12/3/2017
- Latest version: 1.0.0-alpha001
- http patch functional web arachnid machines f# fsharp
An extension to the Arachnid HTTP Machine adding Patch support
Arachnid.Machines.Http.Hopac by: petejohanson
- 847 total downloads
- last updated 12/3/2017
- Latest version: 1.0.0-alpha001
- http functional web arachnid machines f# fsharp hopac
An Arachnid machine expressing the core HTTP semantics and logic, powered by the Hopac concurrency library
PCheckerCore by: p-devs
- 837 total downloads
- last updated 4/4/2023
- Latest version: 2.0.5
- P programming language safe asynchrony state machines model checkers
The P Checker