ploeh / ChurchEncoding
Examples of Church encodings in C#
☆16Updated 2 years ago
Alternatives and similar repositories for ChurchEncoding
Users that are interested in ChurchEncoding are comparing it to the libraries listed below
Sorting:
- A library to build declarative, composable, reactive user interfaces with WebSharper.☆14Updated 3 weeks ago
- A type-level logic programming language embedded in F#☆32Updated 7 years ago
- Hedgehog with batteries included: Auto-generators, extra combinators, and more.☆24Updated 2 weeks ago
- A library for incremental computations. Based on janestreet/incremental (https://github.com/janestreet/incremental) for OCaml.☆72Updated 6 years ago
- ExtLauncher is a dotnet tool to search and launch quickly projects in the user's preferred applications.☆10Updated last year
- Type-safe heterogeneous lists for C# and F#.☆10Updated 6 years ago
- Another MAKE utility implementation on F#, fully declarative with no-brain parallelism, inspired by Shake☆23Updated last year
- Twitter Clone in F# - Official GitHub Repository of the Book F# Applied II☆15Updated 7 years ago
- This is (yet another) take on the Gilded Rose Kata, originally conceived by Terry Hughes.☆16Updated 2 years ago
- Collection of tools used when developing for Fantomas☆35Updated 2 months ago
- Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so lo…☆43Updated 5 years ago
- Functional Event Sourcing meets The Elm Architecture☆20Updated 4 years ago
- A quotations evaluator/compiler for F# based on LINQ expression tree compilation☆70Updated 5 years ago
- Effect values for C# with examples, inspired by Haskell Free Monad and Scalaz ZIO☆12Updated 3 years ago
- Helper tool to verify semantic version changes based on API surface area changes☆45Updated 3 weeks ago
- F# wrapper for the Star Wars API☆17Updated 7 years ago
- Library for SQL parsing, AST manipulation and SQL generation in F#☆67Updated last year
- Collection of F# snippets☆40Updated last year
- Moved to Codeberg☆31Updated last month
- Generated API documentation for the FSharp.Core library. Generated using FSharp.Formatting.☆34Updated this week
- Time-traveling debugger and import export for Elmish apps☆41Updated last week
- A library that provides a Computation Expression named SandboxBuilder, sandbox { return 42 }, which ensures that values returned from the…☆15Updated 9 years ago
- Multi-stage Programming in F#☆12Updated 9 years ago
- Parse and evaluate MsBuild project files☆65Updated 2 months ago
- C#->F# transpiler.☆62Updated 2 years ago
- An intelligent browser extension to silence toxic Twitter DMs powered by ML.NET, Bolero and .NET 5.☆18Updated 4 years ago
- FsAlg: Generic Linear Algebra Library☆24Updated 9 years ago
- Allows running F# Agents in a distributed manner using Azure Service Bus.☆39Updated 7 years ago
- A dotnet CLI tool for Saturn projects providing code generation and scaffolding.☆18Updated 2 years ago
- F# port of the examples in "Exercises in Programming Style"☆15Updated 7 years ago