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
- A type-level logic programming language embedded in F#☆32Updated 6 years ago
- A library to build declarative, composable, reactive user interfaces with WebSharper.☆14Updated 2 weeks ago
- Another MAKE utility implementation on F#, fully declarative with no-brain parallelism, inspired by Shake☆23Updated 11 months ago
- Type-safe heterogeneous lists for C# and F#.☆10Updated 6 years ago
- Seamless CI/CD tool for building and deploying monorepos. Support HCL-like configuration, builds in containers, outputs caching, extensio…☆19Updated this week
- Parse and evaluate MsBuild project files☆65Updated this week
- A library for incremental computations. Based on janestreet/incremental (https://github.com/janestreet/incremental) for OCaml.☆72Updated 6 years ago
- Hedgehog with batteries included: Auto-generators, extra combinators, and more.☆18Updated last month
- Collection of tools used when developing for Fantomas☆35Updated last month
- Repository of small F# 🦊 utilities, mainly for using with FAKE☆32Updated 3 years ago
- A quotations evaluator/compiler for F# based on LINQ expression tree compilation☆70Updated 4 years ago
- Multi-stage Programming in F#☆12Updated 8 years ago
- FsAlg: Generic Linear Algebra Library☆24Updated 9 years ago
- Port of the alga Algebraic Graphs library (https://github.com/snowleopard/alga) to F#☆28Updated 6 years ago
- A dotnet CLI tool for Saturn projects providing code generation and scaffolding.☆18Updated 2 years ago
- Open Discussion with the F# Software Foundation Board of Trustees☆35Updated 7 years ago
- An implementation of the WsdlProvider compatible with netfx and netcore☆24Updated last year
- ☆68Updated 6 years ago
- Roslyn read-only API to work with F# code (via bridge to FSharp.Compiler.Service)☆38Updated 6 years ago
- fscx is an alternative F# compiler which enables to replace AST at compile time.☆43Updated 7 years ago
- Helper tool to verify semantic version changes based on API surface area changes☆45Updated this week
- Functional Event Sourcing meets The Elm Architecture☆20Updated 3 years ago
- Documentation☆10Updated 3 years ago
- Collection of F# snippets☆40Updated 11 months ago
- Native support for destructuring F# types when logging to Serilog.☆39Updated this week
- Demo of using Kestrel Http Server with F#☆13Updated 8 years ago
- FSharp developer network☆53Updated 2 years ago
- Generated API documentation for the FSharp.Core library. Generated using FSharp.Formatting.☆34Updated this week
- C#->F# transpiler.☆62Updated 2 years ago
- Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so lo…☆42Updated 5 years ago