ploeh / ChurchEncodingLinks
Examples of Church encodings in C#
☆16Updated 3 years ago
Alternatives and similar repositories for ChurchEncoding
Users that are interested in ChurchEncoding are comparing it to the libraries listed below
Sorting:
- A unit testing framework for F#☆81Updated 3 years ago
- A library for incremental computations. Based on janestreet/incremental (https://github.com/janestreet/incremental) for OCaml.☆71Updated 7 years ago
- Library for SQL parsing, AST manipulation and SQL generation in F#☆67Updated last year
- A quotations evaluator/compiler for F# based on LINQ expression tree compilation☆71Updated 5 years ago
- Compatibility libraries for F#☆47Updated 7 years ago
- Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so lo…☆43Updated 6 years ago
- A type-level logic programming language embedded in F#☆32Updated 7 years ago
- Functional Event Sourcing meets The Elm Architecture☆20Updated 4 years ago
- Generated API documentation for the FSharp.Core library. Generated using FSharp.Formatting.☆35Updated last week
- A library design for programming with effects and handlers in C#☆153Updated last year
- Parse and evaluate MsBuild project files☆65Updated 3 weeks ago
- Collection of tools used when developing for Fantomas☆35Updated 8 months ago
- ploeh blog 'source code'☆137Updated last week
- Functional test library for F# / C# / VB.NET☆124Updated 2 years ago
- Docopt for F#☆34Updated 5 years ago
- Helper tool to verify semantic version changes based on API surface area changes☆46Updated 6 months ago
- ☆10Updated 7 years ago
- Another MAKE utility implementation on F#, fully declarative with no-brain parallelism, inspired by Shake☆23Updated last year
- This is (yet another) take on the Gilded Rose Kata, originally conceived by Terry Hughes.☆16Updated 2 years ago
- fscx is an alternative F# compiler which enables to replace AST at compile time.☆42Updated 8 years ago
- Type-safe F# state management (like Elm and Redux) for Blazor☆31Updated 7 years ago
- A dotnet CLI tool for Saturn projects providing code generation and scaffolding.☆19Updated 2 years ago
- A cross-platform website generator and server using F#, Suave and PostgreSQL.☆66Updated 7 years ago
- C#->F# transpiler.☆62Updated 2 years ago
- Roslyn read-only API to work with F# code (via bridge to FSharp.Compiler.Service)☆39Updated 7 years ago
- Created primarily as an internal tool for the F# version of Hedgehog. Test interactive F# examples, similar to doctest for Haskell.☆10Updated 8 years ago
- A runtime assembly management library☆74Updated 3 years ago
- An F# CodeDOM implementation (based on the old F# Power Pack)☆25Updated 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
- A set of operators for FParsec (http://www.quanttec.com/fparsec/) intended to simplify chaining parsers together.☆46Updated last year