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
• dotnet-websharper / forms
  A library to build declarative, composable, reactive user interfaces with WebSharper.
  ☆14Updated last week
• AnthonyLloyd / Event
  Functional Event Sourcing meets The Elm Architecture
  ☆20Updated 4 years ago
• ionide / proj-info
  Parse and evaluate MsBuild project files
  ☆65Updated this week
• fsharp / fsharp-core-docs
  Generated API documentation for the FSharp.Core library. Generated using FSharp.Formatting.
  ☆34Updated this week
• SAFE-Stack / SAFE-Search
  An example of using Azure Search to power a SAFE website for rapid searching with support for facets and suggestions.
  ☆34Updated last year
• theburningmonk / exercises-in-programming-style-fsharp
  F# port of the examples in "Exercises in Programming Style"
  ☆15Updated 7 years ago
• fsprojects / fantomas-tools
  Collection of tools used when developing for Fantomas
  ☆35Updated 3 months ago
• pblasucci / GrowingGildedRose
  This is (yet another) take on the Gilded Rose Kata, originally conceived by Terry Hughes.
  ☆16Updated 2 years ago
• hedgehogqa / fsharp-hedgehog-experimental
  Hedgehog with batteries included: Auto-generators, extra combinators, and more.
  ☆24Updated last month
• fsprojects / Incremental.NET
  A library for incremental computations. Based on janestreet/incremental (https://github.com/janestreet/incremental) for OCaml.
  ☆72Updated 6 years ago
• jindraivanek / cs2fs
  C#->F# transpiler.
  ☆62Updated 2 years ago
• kurtschelfthout / FsLogic
  A port of MiniKanren to F# - embedded, typed logic programming
  ☆29Updated 7 years ago
• fsprojects / fsharp-linting-for-vs
  Visual Studio Linter for F#
  ☆33Updated 3 years ago
• rommsen / EventSourcing-DIY
  Companion repository for my Event Sourcing - Do it yourself video series.
  ☆62Updated 4 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
• pocketberserker / Data.HList
  Type-safe heterogeneous lists for C# and F#.
  ☆10Updated 6 years ago
• 7sharp9 / ReQuetzal
  An experimental ML style language
  ☆13Updated 6 years ago
• fsprojects / FSharp.Compatibility
  Compatibility libraries for F#
  ☆46Updated 7 years ago
• c4fsharp / Dojo-Fractal-Forest
  ☆25Updated 5 years ago
• FakeBuild / Xake
  Another MAKE utility implementation on F#, fully declarative with no-brain parallelism, inspired by Shake
  ☆23Updated last year
• BayardRock / Fungible
  A library for fast reflective updates to immutable data trees
  ☆19Updated 7 years ago
• fsharp / zarchive-fssf-ask-the-board
  Open Discussion with the F# Software Foundation Board of Trustees
  ☆35Updated 7 years ago
• fsprojects / Mechanic
  ☆68Updated 7 years ago
• fsprojects / FSharp.Data.TypeProviders
  F# Type Providers for SqlDataConnection, SqlEntityConnection, ODataService, WsdlService and EdmxFile using .NET Framework generators
  ☆38Updated 3 years ago
• brianberns / FYampaSynth
  Modular Synthesizer Programming in F#
  ☆21Updated 7 months ago
• nwolverson / signalrprovider
  F# Type Provider for SignalR with FunScript
  ☆16Updated 10 years ago
• WyattTechnology / WAkka
  F# interface for Akka.NET
  ☆36Updated last month
• elmish / debugger
  Time-traveling debugger and import export for Elmish apps
  ☆41Updated 3 weeks ago
• Krzysztof-Cieslak / KestrelFSharp
  Demo of using Kestrel Http Server with F#
  ☆13Updated 8 years ago