ploeh / ChurchEncoding
Examples of Church encodings in C#
☆16Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for ChurchEncoding
- A type-level logic programming language embedded in F#☆31Updated 6 years ago
- A library that provides a Computation Expression named SandboxBuilder, sandbox { return 42 }, which ensures that values returned from the…☆15Updated 9 years ago
- Collection of tools used when developing for Fantomas☆35Updated 3 weeks ago
- A library to build declarative, composable, reactive user interfaces with WebSharper.☆14Updated 3 months ago
- Open Discussion with the F# Software Foundation Board of Trustees☆35Updated 7 years ago
- Type-safe heterogeneous lists for C# and F#.☆10Updated 6 years ago
- An implementation of the WsdlProvider compatible with netfx and netcore☆24Updated 9 months ago
- Hedgehog with batteries included: Auto-generators, extra combinators, and more.☆18Updated 2 years ago
- http://blog.ctaggart.com/2014/09/generating-f-code-using-its-ast.html☆47Updated 2 years ago
- Experiment with F#, type holes, and type-directed search using F# Analyzers☆31Updated 4 years ago
- Lightweight CLI test runner for FsCheck☆12Updated 4 years ago
- Generated API documentation for the FSharp.Core library. Generated using FSharp.Formatting.☆34Updated this week
- This is (yet another) take on the Gilded Rose Kata, originally conceived by Terry Hughes.☆16Updated last year
- F# version of Doom using original rendering techniques (BSP etc.)☆21Updated 2 years ago
- Port of the alga Algebraic Graphs library (https://github.com/snowleopard/alga) to F#☆28Updated 6 years ago
- Fluent members for F# FSharp.Core functions☆70Updated 2 years ago
- Another MAKE utility implementation on F#, fully declarative with no-brain parallelism, inspired by Shake☆23Updated 9 months ago
- Compatibility libraries for F#☆45Updated 6 years ago
- A library for incremental computations. Based on janestreet/incremental (https://github.com/janestreet/incremental) for OCaml.☆72Updated 6 years ago
- Collection of F# snippets☆40Updated 8 months ago
- Allows running F# Agents in a distributed manner using Azure Service Bus.☆39Updated 6 years ago
- This repo shows how to use F# Analyzer in your F# project☆18Updated 4 years ago
- Native support for destructuring F# types when logging to Serilog.☆38Updated last week
- A quotations evaluator/compiler for F# based on LINQ expression tree compilation☆68Updated 4 years ago
- Fable binding for the Parsimmon parser combinator library☆21Updated last year
- ☆68Updated 6 years ago
- Documentation☆10Updated 3 years ago
- Functional Event Sourcing meets The Elm Architecture☆20Updated 3 years ago
- This library provides strict left folds that stream in constant memory, and you can combine folds using Applicative style to derive new f…☆34Updated 9 months ago
- Created primarily as an internal tool for the F# version of Hedgehog. Test interactive F# examples, similar to doctest for Haskell.☆10Updated 7 years ago