Alternatives and similar repositories for ChurchEncoding

Users that are interested in ChurchEncoding are comparing it to the libraries listed below

• ploeh / ploeh.github.com
  ploeh blog 'source code'
  ☆136Updated last week
• cboudereau / category-theory-for-dotnet-programmers
  This repo contains all c++ / haskell samples from Bartosz Milewski's book (Category Theory for Programmers) converted to csharp and fshar…
  ☆207Updated 3 years ago
• fsprojects / Foq
  A unit testing framework for F#
  ☆80Updated 3 years ago
• nessos / Eff
  A library design for programming with effects and handlers in C#
  ☆150Updated 11 months ago
• taylorjg / FsCheckUtils
  FsCheckUtils adds FsCheck utilities aimed at C# developers and adds some things from ScalaCheck e.g. someof and pick
  ☆10Updated 9 years ago
• matthewcrews / fast-fsharp
  ☆48Updated 3 years ago
• fsprojects / Roslyn.FSharp
  Roslyn read-only API to work with F# code (via bridge to FSharp.Compiler.Service)
  ☆39Updated 7 years ago
• ionide / proj-info
  Parse and evaluate MsBuild project files
  ☆65Updated 2 months ago
• fsprojects / Incremental.NET
  A library for incremental computations. Based on janestreet/incremental (https://github.com/janestreet/incremental) for OCaml.
  ☆71Updated 6 years ago
• fsprojects / FSharp.Compatibility
  Compatibility libraries for F#
  ☆47Updated 7 years ago
• fsprojects / FSharp.Core.Fluent
  Fluent members for F# FSharp.Core functions
  ☆70Updated 3 months ago
• hedgehogqa / fsharp-hedgehog-experimental
  Hedgehog with batteries included: Auto-generators, extra combinators, and more.
  ☆24Updated 4 months ago
• docopt / docopt.fs
  Docopt for F#
  ☆34Updated 5 years ago
• thautwarm / FSTan
  Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so lo…
  ☆43Updated 6 years ago
• fsprojects / SyntacticVersioning
  Helper tool to verify semantic version changes based on API surface area changes
  ☆46Updated 4 months ago
• gregoryyoung / nothing
  Replacement of the System.Void type
  ☆58Updated 4 years ago
• TIHan / Oly
  Oly Language Compiler and Runtime
  ☆56Updated this week
• fsprojects / FSharp.Quotations.Evaluator
  A quotations evaluator/compiler for F# based on LINQ expression tree compilation
  ☆70Updated 5 years ago
• AnthonyLloyd / Event
  Functional Event Sourcing meets The Elm Architecture
  ☆20Updated 4 years ago
• microsoft / Guan
  Guan is a cross-platform, general-purpose logic programming library with a C# API for external predicate implementation. It is a close ap…
  ☆81Updated 5 months ago
• tgrospic / object-algebras
  Experiments with higher-kinded types and object algebras in C#
  ☆38Updated 5 years ago
• jindraivanek / cs2fs
  C#->F# transpiler.
  ☆62Updated 2 years ago
• Infers / Infers
  A type-level logic programming language embedded in F#
  ☆32Updated 7 years ago
• mausch / Fuchu
  Functional test library for F# / C# / VB.NET
  ☆123Updated 2 years ago
• teo-tsirpanis / Farkle
  LALR parser combinators for C# and F#.
  ☆100Updated this week
• pocketberserker / Data.HList
  Type-safe heterogeneous lists for C# and F#.
  ☆10Updated 7 years ago
• jet / dotnet-templates
  Example app and service templates `dotnet new -i Equinox.Templates; dotnet new eqx*/pro*` https://github.com/jet/equinox https://github.c…
  ☆63Updated 2 months ago
• rspeele / LicenseToCIL
  Semi-safely generate CIL in F#
  ☆54Updated 4 years ago
• AnthonyLloyd / Elm
  F# Implementation of The Elm Architecture
  ☆29Updated 4 years ago
• dotnet-websharper / ui
  A reactive UI library for WebSharper.
  ☆79Updated this week