ploeh / ChurchEncoding
Examples of Church encodings in C#
☆16Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for ChurchEncoding
- Another MAKE utility implementation on F#, fully declarative with no-brain parallelism, inspired by Shake☆23Updated 8 months ago
- A library to build declarative, composable, reactive user interfaces with WebSharper.☆14Updated 2 months ago
- A library for incremental computations. Based on janestreet/incremental (https://github.com/janestreet/incremental) for OCaml.☆72Updated 6 years ago
- ☆31Updated 6 years ago
- Roslyn read-only API to work with F# code (via bridge to FSharp.Compiler.Service)☆37Updated 6 years ago
- MSIL computation expression builder for F# implemented against IKVM.Reflection API☆19Updated 10 years ago
- Functional Event Sourcing meets The Elm Architecture☆20Updated 3 years ago
- Parse and evaluate MsBuild project files☆64Updated last month
- Helper tool to verify semantic version changes based on API surface area changes☆45Updated 4 months ago
- C#->F# transpiler.☆62Updated last year
- Demo of using Kestrel Http Server with F#☆13Updated 8 years ago
- A quotations evaluator/compiler for F# based on LINQ expression tree compilation☆68Updated 4 years ago
- Hedgehog with batteries included: Auto-generators, extra combinators, and more.☆18Updated 2 years ago
- The TodoMVC app written in F#, using Fable, Elmish and Fulma.☆18Updated 5 years ago
- A tool to display information about dll references i F# signature format☆8Updated 6 years ago
- Multi-stage Programming in F#☆12Updated 8 years ago
- F# Implementation of The Elm Architecture☆29Updated 3 years ago
- F# Active pattern library for Roslyn Compiler Platform (C#, VB)☆29Updated last year
- fscx is an alternative F# compiler which enables to replace AST at compile time.☆42Updated 7 years ago
- A spreadsheet-like interactive evaluator for F#☆50Updated 3 years ago
- Modular Synthesizer Programming in F#☆21Updated 2 weeks ago
- Collection of tools used when developing for Fantomas☆33Updated last week
- XML Type Provider with schema support☆32Updated 6 years ago
- F# implementation of the Raft consensus algorithm from the paper 'In Search of an Understandable Consensus Algorithm'.☆25Updated 11 years ago
- Port of the alga Algebraic Graphs library (https://github.com/snowleopard/alga) to F#☆28Updated 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
- F# API search engine☆33Updated 2 years ago
- Library for SQL parsing, AST manipulation and SQL generation in F#☆65Updated 6 months ago
- Open Discussion with the F# Software Foundation Board of Trustees☆35Updated 7 years ago
- A library for fast reflective updates to immutable data trees☆19Updated 6 years ago