scott-encoding

Here are 2 public repositories matching this topic...

ljedrz / lambda_calculus

A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust

rust lambda-functions lambda-calculus combinatory-logic church-encoding lambda-expressions lambda-interpreter rust-library debruijn ski-combinators beta-reduction reduction-strategies parigot-encoding scott-encoding embedded-iterators-encoding stump-fu-encoding

Updated Sep 16, 2025
Rust

Georgiy-Petrov / ScottEncodingGenerator

Star

Roslyn incremental source generator for partial interfaces and abstract partial classes that generates Match methods, nested case implementations, and companion module helpers for Scott-encoded types.

csharp discriminated-unions scott-encoding csharp-sourcegenerator roslyn-generator

Updated Apr 3, 2026
C#

Improve this page

Add a description, image, and links to the scott-encoding topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the scott-encoding topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly