Alternatives and similar repositories for ChurchEncoding

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

• Infers / Infers
  A type-level logic programming language embedded in F#
  ☆32Updated 7 years ago
• fsprojects / FSharp.Quotations.Evaluator
  A quotations evaluator/compiler for F# based on LINQ expression tree compilation
  ☆70Updated 5 years ago
• fsharp / fsharp-core-docs
  Generated API documentation for the FSharp.Core library. Generated using FSharp.Formatting.
  ☆35Updated this week
• fsprojects / SyntacticVersioning
  Helper tool to verify semantic version changes based on API surface area changes
  ☆46Updated 5 months ago
• fsprojects / Incremental.NET
  A library for incremental computations. Based on janestreet/incremental (https://github.com/janestreet/incremental) for OCaml.
  ☆71Updated 7 years ago
• fsprojects / FSharp.Compatibility
  Compatibility libraries for F#
  ☆47Updated 7 years ago
• docopt / docopt.fs
  Docopt for F#
  ☆34Updated 5 years ago
• fsprojects / Foq
  A unit testing framework for F#
  ☆81Updated 3 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
• c4fsharp / Dojo-Fractal-Forest
  ☆25Updated 5 years ago
• ionide / proj-info
  Parse and evaluate MsBuild project files
  ☆65Updated this week
• isaksky / FsSqlDom
  Library for SQL parsing, AST manipulation and SQL generation in F#
  ☆67Updated last year
• fsprojects / FSharp.Core.Fluent
  Fluent members for F# FSharp.Core functions
  ☆70Updated 5 months ago
• fsprojects / FSharp.Compiler.CodeDom
  An F# CodeDOM implementation (based on the old F# Power Pack)
  ☆25Updated 4 years ago
• 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…
  ☆208Updated 4 years ago
• fsprojects / fantomas-tools
  Collection of tools used when developing for Fantomas
  ☆35Updated 7 months ago
• hedgehogqa / fsharp-hedgehog-experimental
  Hedgehog with batteries included: Auto-generators, extra combinators, and more.
  ☆24Updated 5 months ago
• nessos / Eff
  A library design for programming with effects and handlers in C#
  ☆151Updated last year
• fsprojects / Roslyn.FSharp
  Roslyn read-only API to work with F# code (via bridge to FSharp.Compiler.Service)
  ☆39Updated 7 years ago
• matthewcrews / fast-fsharp
  ☆48Updated 3 years ago
• dlbeer / fspdf
  F# PDF manipulation
  ☆25Updated 8 years ago
• fsprojects / FSharp.Span.Utils
  Makes Span/ReadOnlySpan easy to use from F#.
  ☆36Updated 6 years ago
• pblasucci / DeepDiveAP
  Deep Dive into Active Patterns
  ☆37Updated 4 years ago
• ploeh / ploeh.github.com
  ploeh blog 'source code'
  ☆137Updated this week
• FakeBuild / Xake
  Another MAKE utility implementation on F#, fully declarative with no-brain parallelism, inspired by Shake
  ☆23Updated last year
• palladin / fsharp-snippets
  Collection of F# snippets
  ☆40Updated last year
• jindraivanek / cs2fs
  C#->F# transpiler.
  ☆62Updated 2 years ago
• Krzysztof-Cieslak / Suave.Kestrel
  Using Suave on top of Kestrel Server.
  ☆13Updated 9 years ago
• SaturnFramework / Saturn.Cli
  A dotnet CLI tool for Saturn projects providing code generation and scaffolding.
  ☆18Updated 2 years ago
• vbfox / FoxSharp
  Repository of small F# 🦊 utilities, mainly for using with FAKE
  ☆32Updated 4 years ago