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 6 years ago
• FakeBuild / Xake
  Another MAKE utility implementation on F#, fully declarative with no-brain parallelism, inspired by Shake
  ☆23Updated 10 months ago
• fsprojects / fantomas-tools
  Collection of tools used when developing for Fantomas
  ☆35Updated this week
• fsharp / fsharp-core-docs
  Generated API documentation for the FSharp.Core library. Generated using FSharp.Formatting.
  ☆34Updated this week
• palladin / fsharp-snippets
  Collection of F# snippets
  ☆40Updated 10 months ago
• fsprojects / Incremental.NET
  A library for incremental computations. Based on janestreet/incremental (https://github.com/janestreet/incremental) for OCaml.
  ☆72Updated 6 years ago
• fsprojects / SyntacticVersioning
  Helper tool to verify semantic version changes based on API surface area changes
  ☆45Updated 6 months ago
• fsprojects / FSharp.Data.WsdlProvider
  An implementation of the WsdlProvider compatible with netfx and netcore
  ☆24Updated 11 months ago
• AnthonyLloyd / Event
  Functional Event Sourcing meets The Elm Architecture
  ☆20Updated 3 years ago
• fsharp / zarchive-fssf-ask-the-board
  Open Discussion with the F# Software Foundation Board of Trustees
  ☆35Updated 7 years ago
• dotnet-websharper / forms
  A library to build declarative, composable, reactive user interfaces with WebSharper.
  ☆14Updated 5 months ago
• pocketberserker / Data.HList
  Type-safe heterogeneous lists for C# and F#.
  ☆10Updated 6 years ago
• c4fsharp / Dojo-Fractal-Forest
  ☆25Updated 5 years ago
• delegateas / Delegate.Sandbox
  A library that provides a Computation Expression named SandboxBuilder, sandbox { return 42 }, which ensures that values returned from the…
  ☆15Updated 9 years ago
• fsprojects / FSharp.Quotations.Evaluator
  A quotations evaluator/compiler for F# based on LINQ expression tree compilation
  ☆68Updated 4 years ago
• deviousasti / fsharp-worksheet
  A spreadsheet-like interactive evaluator for F#
  ☆50Updated 3 years ago
• hedgehogqa / fsharp-hedgehog-experimental
  Hedgehog with batteries included: Auto-generators, extra combinators, and more.
  ☆18Updated 2 years ago
• fsprojects / FSharp.Data.Xsd
  XML Type Provider with schema support
  ☆32Updated 6 years ago
• fsprojects / FSharp.CloudAgent
  Allows running F# Agents in a distributed manner using Azure Service Bus.
  ☆39Updated 6 years ago
• WalternativE / Silencer
  An intelligent browser extension to silence toxic Twitter DMs powered by ML.NET, Bolero and .NET 5.
  ☆18Updated 4 years ago
• ionide / FSharp.EventHorizon
  Experiment with F#, type holes, and type-directed search using F# Analyzers
  ☆31Updated 5 years ago
• Krzysztof-Cieslak / KestrelFSharp
  Demo of using Kestrel Http Server with F#
  ☆13Updated 8 years ago
• fsprojects / Mechanic
  ☆68Updated 6 years ago
• demystifyfp / FsTweet
  Twitter Clone in F# - Official GitHub Repository of the Book F# Applied II
  ☆15Updated 6 years ago
• thautwarm / FSTan
  Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so lo…
  ☆42Updated 5 years ago
• ionide / proj-info
  Parse and evaluate MsBuild project files
  ☆65Updated last week
• cannorin / FSharp.TypeLevel
  type-level programming in F#
  ☆37Updated 5 years ago
• fsprojects / Roslyn.FSharp
  Roslyn read-only API to work with F# code (via bridge to FSharp.Compiler.Service)
  ☆37Updated 6 years ago
• pavsaund / awesome-learning-fsharp
  A collection of awesome resources for learning F#.
  ☆22Updated 8 years ago
• theor / FSharp.Qualia
  Qualia is a MVC-ish UI framework heavily inspired by React+Flux and FSharp.Desktop.UI The goal is to provide a decoupled architecture usi…
  ☆12Updated 6 years ago