Compositional IT's repositories
safe-sockets
A simple example of setting up websockets using SAFE
azure-deploy
Proof of concept using SAFE Stack and Farmer for a self-service Azure deployment application.
dapper-sample
A repository showing how to use "raw" Dapper with F# types
cit-console-template
Opinionated F# Console Application template
blogpost-json-validation
A small example repository for JSON validation, based on the Giraffe template
fable-npm-imports-demo
Repository demonstrating how to import npm packages into Fable code
Language:F#000
Language:F#000
ProvingFunctionCorrectnessDemo
Demonstration of how well chosen properties for property-based testing can "prove" the correctness of a function.
Language:F#000
Language:C#000