Pinned Repositories
Banach
A toy, ML-like, dependently typed language
Deque
Implementation of an immutable Deque in F#, with property-based tests written in FsCheck
FSharp
Miscellaneous F# scripts, experiments and toys
HCollections
Type-safe heterogeneous collections for F#
Idris
Miscellaneous Idris scripts, experiments and toys
LambdaCalculus
An implementation of the untyped lambda calculus in F#
Omni
Serialisation library for F#
Talks
Repository of slides from various talks that I’ve given
TeqCrate
Type-safe datatype-generic programming for F#
TypeEquality
Type equality for F#
nickcowle's Repositories
nickcowle/Talks
Repository of slides from various talks that I’ve given
nickcowle/HCollections
Type-safe heterogeneous collections for F#
nickcowle/TeqCrate
Type-safe datatype-generic programming for F#
nickcowle/TypeEquality
Type equality for F#
nickcowle/LambdaCalculus
An implementation of the untyped lambda calculus in F#
nickcowle/Banach
A toy, ML-like, dependently typed language
nickcowle/Deque
Implementation of an immutable Deque in F#, with property-based tests written in FsCheck
nickcowle/FSharp
Miscellaneous F# scripts, experiments and toys
nickcowle/Idris
Miscellaneous Idris scripts, experiments and toys
nickcowle/Omni
Serialisation library for F#
nickcowle/Parsy
A lightweight parser combinator library for F#
nickcowle/SortingAlgorithms
A selection of sorting algorithms, implemented in F#