glebec/lambda-talk

A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS

Language: JavaScript - Size: 476 KB - Last synced at: 7 months ago - Pushed at: almost 2 years ago - Stars: 521 - Forks: 42

benji6/combinators-js

:bird: Some combinators

Language: JavaScript - Size: 271 KB - Last synced at: about 2 months ago - Pushed at: about 1 year ago - Stars: 138 - Forks: 8

ljedrz/lambda_calculus

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

Language: Rust - Size: 653 KB - Last synced at: about 1 month ago - Pushed at: 3 months ago - Stars: 133 - Forks: 15

marvinborner/bruijn

:abacus: Programming with pure lambda calculus

Language: Haskell - Size: 1.51 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 129 - Forks: 0

benji6/church

:church: Church Encoding in JS

Language: JavaScript - Size: 987 KB - Last synced at: 2 days ago - Pushed at: 5 days ago - Stars: 127 - Forks: 10

loophp/combinator

A curated list of combinators

Language: PHP - Size: 214 KB - Last synced at: 26 days ago - Pushed at: 27 days ago - Stars: 122 - Forks: 2

siraben/mini-haskell

A self-hosting mini Haskell compiler with a mini C runtime.

Language: Haskell - Size: 137 KB - Last synced at: 7 months ago - Pushed at: almost 6 years ago - Stars: 74 - Forks: 5

marvinborner/birb

:bird: *cheep cheep shriek caw*

Language: Haskell - Size: 45.9 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 73 - Forks: 4

thma/lambda-ski

Implementing a small functional language with a combinator based graph-reduction machine

Language: Haskell - Size: 747 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 36 - Forks: 3

4y8/esoo

Like the Programming Languages Zoo but with esoteric languages.

Language: OCaml - Size: 52.7 KB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 25 - Forks: 1

lorepozo/ec Fork of ellisk42/jetty

Learning programs with the Exploration-Compression algorithm

Language: OCaml - Size: 297 KB - Last synced at: over 2 years ago - Pushed at: over 7 years ago - Stars: 9 - Forks: 0

lambada-llc/tree-calculus

Language: TypeScript - Size: 152 KB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 8 - Forks: 1

planetlambert/combinator

A reference implementation of Moses Schönfinkel's 1924 paper, On the Building Blocks of Mathematical Logic

Language: Go - Size: 85 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 0

thma/lispkit

Implementing a small functional language with a combinator graph reduction engine

Language: Haskell - Size: 92.8 KB - Last synced at: 8 months ago - Pushed at: about 2 years ago - Stars: 6 - Forks: 0

helvm/heltc

🎓 🏫 HelTC - Haskellish Esoteric Lambda True Calculator to Esoteric Languages implemented in Haskell

Language: Haskell - Size: 647 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0

marvinborner/infinite-apply

:space_invader: Infinite Craft, but for lambda calculus!

Language: JavaScript - Size: 29.3 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 5 - Forks: 0

mattwolf-corporation/lambda-calculus-in-js

Lambda Kalkül für praktisches vanilla JavaScript - IP5 HS2019 / IP6 HS2020

Language: JavaScript - Size: 1.88 MB - Last synced at: 2 months ago - Pushed at: about 3 years ago - Stars: 5 - Forks: 1

f0rr0/church-encoding

⛪ Church encodings for JavaScript primitives

Language: JavaScript - Size: 1.82 MB - Last synced at: about 1 month ago - Pushed at: over 5 years ago - Stars: 4 - Forks: 0

lukaszcz/hcpl

A prototypical proof checker and programming language based on illative combinatory logic

Language: OCaml - Size: 350 KB - Last synced at: 6 months ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0

SamueleGiraudo/Aclove

A programming language based on combinatory logic and term rewrite systems, with an advanced type system.

Language: OCaml - Size: 145 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 3 - Forks: 0

lorepozo/lambda-CL

Convert between lambda calculus and combinatory logic in Schönfinkel's BCIKS system

Language: Scheme - Size: 21.5 KB - Last synced at: over 2 years ago - Pushed at: about 8 years ago - Stars: 3 - Forks: 0

masterzorag/bf_new

bruteforge, a selective data combinator.

Language: C - Size: 149 KB - Last synced at: over 1 year ago - Pushed at: over 8 years ago - Stars: 3 - Forks: 0

bokesan/skred

SK combinator reducer in Java

Language: Java - Size: 164 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 2 - Forks: 0

maehw/wokwi-lookup-table-generator

Generator for wokwi schematics that implement lookup tables in conjunctive normal form (CNF), i.e. with AND and OR gates

Language: Python - Size: 61.5 KB - Last synced at: almost 3 years ago - Pushed at: almost 3 years ago - Stars: 2 - Forks: 1

splintersuidman/combinatory-logic

Explorations in combinatory logic with Agda

Language: Agda - Size: 2.03 MB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 2 - Forks: 0

OluwaseunOjeleye/School-Projects

This repository contains my solutions to some of the assignments of the courses I took during my undergraduate first and second year

Language: C++ - Size: 54.9 MB - Last synced at: over 2 years ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

naderghanbari/cl-scala

Simple Combinatory Logic and Lambda Calculus in Scala

Language: Scala - Size: 304 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0

MagentaManifold/little-lamb

Mingyuan has a little lamb(da calculus interpreter).

Language: Rust - Size: 115 KB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 1 - Forks: 0

freddycoppa/lambda-js

Lambda Calculus Interpreter

Language: JavaScript - Size: 55.7 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 1 - Forks: 0

mireklzicar/awesome-lambda-calculus

Size: 4.88 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 1

marvinborner/jottary

Esoteric unary combinatory logic (variant of Jot)

Language: Haskell - Size: 13.7 KB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 1 - Forks: 0

jamesrweb/elm-aviary

An elm implementation of the birds from combinatory logic. Inspired by the Haskell Data.Aviary.Birds package.

Language: Elm - Size: 15.6 KB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

chalkpe/lambda 📦

JavaScript implementation of the T[ ] transformation

Language: JavaScript - Size: 7.81 KB - Last synced at: over 2 years ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

bediger4000/any-combinatory-logic

Combinatory Logic Interpreter with user-definable primitives and abstraction algorithms

Language: C - Size: 138 KB - Last synced at: almost 3 years ago - Pushed at: about 8 years ago - Stars: 1 - Forks: 0

AR2202/Colourful

An esoteric programming language based on combinatory logic

Language: Haskell - Size: 132 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0

ewdlop/Hardware-Notes

Electrical Enignnering

Language: VHDL - Size: 69.8 MB - Last synced at: 7 months ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

AR2202/SKIing

Simple Interpreter for the SKI combinator calculus

Language: Haskell - Size: 21.5 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

jamesrweb/elm-combinators

A combinatory logic library for ELM.

Language: Elm - Size: 9.77 KB - Last synced at: about 2 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

sophie-de-jong/icky-bs

simple SKI combinator calculus language written in rust

Language: Rust - Size: 73.2 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

datashaman/logic

A monad and combinator library. Experimental.

Language: PHP - Size: 4.55 MB - Last synced at: 8 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

maehw/wokwi-verilog-gds-wolf-goat-cabbage Fork of mattvenn/wokwi-verilog-gds-test

Wolf sheep cabbage river crossing puzzle ASIC design (🐺🐐🥬🚣)

Language: Verilog - Size: 104 KB - Last synced at: almost 3 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

helvm/cosmopolitan-sk Fork of kspalaiologos/cosmopolitan-sk

SK calculus reducer in as many programming languages as possible.

Size: 1.43 MB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

mr-rampage/csharp-combinators

Experiments to understand and find practical use cases for combinators.

Language: C# - Size: 17.6 KB - Last synced at: almost 3 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

helvm/BruSKI Fork of NicklasBoto/BruSKI

"DeBruijn to SKI" Untyped language that compiles to Unlambda

Size: 557 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

helvm/introduction-to-combinators-and-lambda-calculus Fork of DataKinds/introduction-to-combinators-and-lambda-calculus

writeups from the book of the same name

Size: 3.91 KB - Last synced at: over 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

jiro4989/colc.nim

Combinatory Logic Calculator

Language: Nim - Size: 105 KB - Last synced at: 6 months ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

helvm/SKITypes Fork of adampalay/SKITypes

Implementing the SKI combinator calculus in Haskell's type system

Size: 5.86 KB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

emarzion/combinator-confluence

A proof of confluence for combinatory logic

Language: Coq - Size: 13.7 KB - Last synced at: 8 months ago - Pushed at: almost 9 years ago - Stars: 0 - Forks: 0