Skip to content
View nickcowle's full-sized avatar
20 followers · 0 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx2Achievement: Starstruck

Block or report nickcowle

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • TeqCrate Public

    Type-safe datatype-generic programming for F#

    F# 3 1 MIT License Updated May 31, 2024

  • HCollections Public

    Type-safe heterogeneous collections for F#

    F# 6 3 MIT License Updated May 31, 2024

  • Banach Public

    A toy, ML-like, dependently typed language

    programming-language dependent-types fsharp
    F# MIT License Updated Jun 24, 2020

  • Parsy Public

    A lightweight parser combinator library for F#

    F# MIT License Updated Jun 23, 2020

  • SortingAlgorithms Public

    A selection of sorting algorithms, implemented in F#

    F# MIT License Updated Jun 8, 2020

  • Talks Public

    Repository of slides from various talks that I’ve given

    17 1 MIT License Updated Apr 25, 2020

  • TypeEquality Public

    Forked from G-Research/TypeEquality

    Type equality for F#

    F# 2 Apache License 2.0 Updated Jan 11, 2020

  • Deque Public

    Implementation of an immutable Deque in F#, with property-based tests written in FsCheck

    F# MIT License Updated Sep 22, 2019

  • Omni Public

    Serialisation library for F#

    F# MIT License Updated Mar 10, 2019

  • Idris Public

    Miscellaneous Idris scripts, experiments and toys

    Idris Updated Aug 25, 2018

  • FSharp Public

    Miscellaneous F# scripts, experiments and toys

    F# Updated Aug 1, 2018

  • LambdaCalculus Public

    An implementation of the untyped lambda calculus in F#

    F# 1 MIT License Updated Dec 22, 2016