ploeh / ChurchEncodingLinks
Examples of Church encodings in C#
☆16Updated 2 months ago
Alternatives and similar repositories for ChurchEncoding
Users that are interested in ChurchEncoding are comparing it to the libraries listed below
Sorting:
- Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so lo…☆44Updated 6 years ago
- Helper tool to verify semantic version changes based on API surface area changes☆47Updated 9 months ago
- Functional Event Sourcing meets The Elm Architecture☆20Updated 4 years ago
- A type-level logic programming language embedded in F#☆32Updated 7 years ago
- Library for SQL parsing, AST manipulation and SQL generation in F#☆67Updated last year
- A library for incremental computations. Based on janestreet/incremental (https://github.com/janestreet/incremental) for OCaml.☆71Updated 7 years ago
- A quotations evaluator/compiler for F# based on LINQ expression tree compilation☆73Updated 5 years ago
- Docopt for F#☆35Updated 6 years ago
- A dotnet CLI template for Saturn projects.☆26Updated last year
- Generated API documentation for the FSharp.Core library. Generated using FSharp.Formatting.☆35Updated last week
- Companion repository for my Event Sourcing - Do it yourself video series.☆63Updated 5 years ago
- ☆48Updated 3 years ago
- Parse and evaluate MsBuild project files☆68Updated 2 months ago
- A unit testing framework for F#☆81Updated 3 years ago
- XUnit-like asserts for text strings with JSON content.☆40Updated 2 years ago
- Example app and service templates `dotnet new -i Equinox.Templates; dotnet new eqx*/pro*` https://github.com/jet/equinox https://github.c…☆62Updated 2 months ago
- Type-safe heterogeneous lists for C# and F#.☆10Updated 7 years ago
- Hedgehog with batteries included: Auto-generators, extra combinators, and more.☆24Updated 2 months ago
- A starter kit for canopy. Get your automation started in a flash!☆33Updated 3 years ago
- Compatibility libraries for F#☆48Updated 7 years ago
- Fluent members for F# FSharp.Core functions☆70Updated 8 months ago
- Deep Dive into Active Patterns☆37Updated 4 years ago
- This repo contains all c++ / haskell samples from Bartosz Milewski's book (Category Theory for Programmers) converted to csharp and fshar…☆209Updated 4 years ago
- Another MAKE utility implementation on F#, fully declarative with no-brain parallelism, inspired by Shake☆24Updated last year
- fscx is an alternative F# compiler which enables to replace AST at compile time.☆45Updated 8 years ago
- Type-safe F# state management (like Elm and Redux) for Blazor☆31Updated 7 years ago
- ☆25Updated 6 years ago
- EntityFramework 7 DbContext scaffolding for SqlServer.☆13Updated 9 years ago
- Raspberry PI robot powered with FSharp☆12Updated 8 years ago
- A library design for programming with effects and handlers in C#☆155Updated last year