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
• nessos / Eff
  A library design for programming with effects and handlers in C#
  ☆149Updated 10 months ago
• fsprojects / SyntacticVersioning
  Helper tool to verify semantic version changes based on API surface area changes
  ☆45Updated 2 months ago
• FakeBuild / Xake
  Another MAKE utility implementation on F#, fully declarative with no-brain parallelism, inspired by Shake
  ☆23Updated last year
• dotnet-websharper / forms
  A library to build declarative, composable, reactive user interfaces with WebSharper.
  ☆14Updated last month
• fsprojects / FSharp.Compatibility
  Compatibility libraries for F#
  ☆47Updated 7 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
• AnthonyLloyd / Event
  Functional Event Sourcing meets The Elm Architecture
  ☆20Updated 4 years ago
• ionide / proj-info
  Parse and evaluate MsBuild project files
  ☆65Updated last month
• fsprojects / Foq
  A unit testing framework for F#
  ☆80Updated 2 years ago
• ploeh / ploeh.github.com
  ploeh blog 'source code'
  ☆135Updated this week
• fsprojects / Incremental.NET
  A library for incremental computations. Based on janestreet/incremental (https://github.com/janestreet/incremental) for OCaml.
  ☆72Updated 6 years ago
• palladin / multi-stage-fsharp
  Multi-stage Programming in F#
  ☆12Updated 9 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
  ☆70Updated 5 years ago
• pblasucci / GrowingGildedRose
  This is (yet another) take on the Gilded Rose Kata, originally conceived by Terry Hughes.
  ☆16Updated 2 years ago
• jindraivanek / cs2fs
  C#->F# transpiler.
  ☆62Updated 2 years ago
• AnthonyLloyd / Elm
  F# Implementation of The Elm Architecture
  ☆29Updated 4 years ago
• fscx-projects / fscx
  fscx is an alternative F# compiler which enables to replace AST at compile time.
  ☆43Updated 8 years ago
• isaksky / FsSqlDom
  Library for SQL parsing, AST manipulation and SQL generation in F#
  ☆67Updated last year
• kbattocchi / ILBuilder
  Prototype for an F# MSIL DSL
  ☆27Updated 11 years ago
• rookboom / Elucidate
  Visual Studio extension for rich inlined comments using MarkDown
  ☆36Updated 8 years ago
• pocketberserker / Data.HList
  Type-safe heterogeneous lists for C# and F#.
  ☆10Updated 6 years ago
• BayardRock / Fungible
  A library for fast reflective updates to immutable data trees
  ☆19Updated 7 years ago
• haf / Flotten
  F# implementation of the Raft consensus algorithm from the paper 'In Search of an Understandable Consensus Algorithm'.
  ☆25Updated 11 years ago
• TIHan / Oly
  Oly Language Compiler and Runtime
  ☆55Updated this week
• matthewcrews / fast-fsharp
  ☆49Updated 3 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…
  ☆207Updated 3 years ago
• cannorin / FSharp.TypeLevel
  type-level programming in F#
  ☆38Updated 6 years ago
• demystifyfp / FsTweet
  Twitter Clone in F# - Official GitHub Repository of the Book F# Applied II
  ☆15Updated 7 years ago