GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing github.com — Build software better, together
#
combinatory-logicHere are 53 public repositories matching this topic...Language: All
Filter by language
Sort: Most stars
Sort options
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
javascript functional-programming lambda-calculus composition mathematics combinatory-logic currying theory-of-computation combinators church-encodings
🧮 Programming with pure lambda calculus
programming-language lambda-calculus combinatory-logic church-encoding balanced-ternary abstract-machine de-bruijn call-by-need
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
🐦 Some combinators
A curated list of combinators
⛪ Church Encoding in JS
🐦 *cheep cheep shriek caw*
programming-language functional-programming birds lambda-calculus combinatory-logic esolang ski-combinators
A self-hosting mini Haskell compiler with a mini C runtime.
Implementing a small functional language with a combinator based graph-reduction machine
haskell compiler functional-programming graph-algorithms lambda-calculus combinator combinatory-logic graph-reduction lambda-abstractions stref st-monad
Like the Programming Languages Zoo but with esoteric languages.
programming-language interpreter ocaml brainfuck combinatory-logic esoteric interpreted-programming-language esolang brainfuck-interpreter esoteric-programming-language esolangs esoteric-interpreter
Combinatory logic and lambda calculus interpreter in JS/TS. Supports SKI, BCKW, Church numerals, defining new terms, λ ↔ SK conversions, and more. An HTML playground and quest page included.
playground functional-programming lambda-calculus tutorials combinatory-logic combinators church-numerals
Learning programs with the Exploration-Compression algorithm
A reference implementation of Moses Schönfinkel's 1924 paper, On the Building Blocks of Mathematical Logic
💥 Dutch for tree. Lean 4 formalisation of triage tree calculus.
theorem-proving combinatory-logic lean formalization formal-verification term-rewriting programming-language-theory lean4 tree-calculus
Implementing a small functional language with a combinator graph reduction engine
repl lambda-calculus combinatory-logic functional-language eval ski-combinators graph-reduction lispkit lambda-terms parallel-reduction combinator-graphs
🎓 🏫 HelTC - Haskellish Esoteric Lambda True Calculator to Esoteric Languages implemented in Haskell
A programming language based on combinatory logic and term rewrite systems, with an advanced type system.
programming-language computer-science research interpreter combinatory-logic functional-language term-rewriting-system
Generator for wokwi schematics that implement lookup tables in conjunctive normal form (CNF), i.e. with AND and OR gates
quine-mccluskey combinatory-logic digital-design quine-mccluskey-algorithm hardware-description-language lookup-table lookup-tables circuit-design binary-logic wokwi tinytapeout wokwi-generator
Lambda Kalkül für praktisches vanilla JavaScript - IP5 HS2019 / IP6 HS2020
javascript lambda immutable functional-programming lambda-calculus composition combinatory-logic church-encoding test-framework functional-js currying immutable-datastructures theory-of-computation
Add this topic to your repoTo associate your repository with the combinatory-logic topic, visit your repo's landing page and select "manage topics." |
| You are visitor 01402503 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |