experimental-functors

An experiment at expressing functors in F# the .NET type system.

APACHE-2.0 License

Stars
17
View Code on GitHub
Ecosystems: F#

Statistics for this project are still being loaded, please check back later.

Related Projects
ILBuilder

Prototype for an F# MSIL DSL

13 Aug 2013 24
NHol

An implementation of higher-order logic (HOL) in F#. Based on hol-light, Isabelle, and HOL4.

29 May 2013 11
fez

F# to core erlang compiler experiment

30 Mar 2017 277
okasaki_fsharp

This is an implementation in F# of the data structures in Chris Okasaki's Purely Functional Data ...

20 Feb 2013 8
facio

Tools for building compilers, interpreters, and analysis tools in F#

14 Nov 2012 45
fsharp-tapl

Accompanying code for "Types and Programming Languages", ported to F#

28 Oct 2012 53
fs-core-optimized

Optimized implementations of collections from the F# Core library (FSharp.Core)

16 Apr 2013 7
LambdaCalculusFSharp

λ calculus library made purely in and for F#

13 Aug 2021 32
Expression

Pragmatic functional programming for Python inspired by F#

23 Sep 2020 405
FunDomain

F# Event Sourcing impl with GES and NES backends derived from FsUno.Prod

14 Jul 2014 19
fsharp-cheatsheet

An updated cheat sheet for F# 🔷🦔💙💛🤍💚

15 Oct 2021 216
ExtCore

An extended core library for F#.

06 Mar 2013 180
TypeShape

Practical generic programming for F#

22 Jul 2016 291
category-theory-for-dotnet-programmers

This repo contains all c++ / haskell samples from Bartosz Milewski's book (Category Theory for Pr...

14 Jan 2019 203
fsharp-avro-apache

FSharp codegen for Apache Avro

11 Nov 2022 4