Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: combinatory-logic
jamesrweb/elm-combinators
A combinatory logic library for ELM.
Language: Elm - Size: 9.77 KB - Last synced: 1 day ago - Pushed: 2 days ago - Stars: 0 - Forks: 0
AR2202/SKIing
Simple Interpreter for the SKI combinator calculus
Language: Haskell - Size: 18.6 KB - Last synced: 5 days ago - Pushed: 5 days ago - Stars: 0 - Forks: 0
ljedrz/lambda_calculus
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
Language: Rust - Size: 661 KB - Last synced: about 7 hours ago - Pushed: 8 months ago - Stars: 97 - Forks: 10
datashaman/logic
A monad and combinator library. Experimental.
Language: PHP - Size: 4.55 MB - Last synced: 21 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
benji6/church
:church: Church Encoding in JS
Language: JavaScript - Size: 763 KB - Last synced: 21 days ago - Pushed: 21 days ago - Stars: 126 - Forks: 10
marvinborner/bruijn
:abacus: Programming with pure lambda calculus
Language: Haskell - Size: 1.34 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 72 - Forks: 0
benji6/combinators-js
:bird: Some combinators
Language: JavaScript - Size: 227 KB - Last synced: 7 days ago - Pushed: 3 months ago - Stars: 136 - Forks: 10
marvinborner/infinite-apply
:space_invader: Infinite Craft, but for lambda calculus!
Language: JavaScript - Size: 23.4 KB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 2 - Forks: 0
loophp/combinator
A curated list of combinators
Language: PHP - Size: 188 KB - Last synced: 22 days ago - Pushed: 2 months ago - Stars: 96 - Forks: 2
masterzorag/bf_new
bruteforge, a selective data combinator.
Language: C - Size: 149 KB - Last synced: 2 months ago - Pushed: about 7 years ago - Stars: 3 - Forks: 0
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: about 1 month ago - Pushed: about 1 month ago - Stars: 7 - Forks: 0
glebec/lambda-talk
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
Language: JavaScript - Size: 448 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 482 - Forks: 40
f0rr0/church-encoding
⛪ Church encodings for JavaScript primitives
Language: JavaScript - Size: 1.82 MB - Last synced: 15 days ago - Pushed: almost 4 years ago - Stars: 4 - Forks: 0
thma/lambda-ski
Implementing a small functional language with a combinator based graph-reduction machine
Language: Haskell - Size: 822 KB - Last synced: 4 months ago - Pushed: 5 months ago - Stars: 28 - Forks: 1
marvinborner/birb
:bird: *cheep cheep shriek caw*
Language: Haskell - Size: 45.9 KB - Last synced: 4 months ago - Pushed: 6 months ago - Stars: 73 - Forks: 4
marvinborner/jottary
Esoteric unary combinatory logic (variant of Jot)
Language: Haskell - Size: 13.7 KB - Last synced: 8 months ago - Pushed: 8 months ago - Stars: 1 - 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: 4 months ago - Pushed: 5 months ago - Stars: 3 - Forks: 0
naderghanbari/cl-scala
Simple Combinatory Logic and Lambda Calculus in Scala
Language: Scala - Size: 304 KB - Last synced: 6 months ago - Pushed: about 5 years ago - Stars: 2 - Forks: 0
jiro4989/colc.nim
Combinatory Logic Calculator
Language: Nim - Size: 105 KB - Last synced: 9 months ago - Pushed: over 5 years ago - Stars: 0 - 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: 9 months ago - Pushed: almost 4 years ago - Stars: 2 - Forks: 0
splintersuidman/combinatory-logic
Explorations in combinatory logic with Agda
Language: Agda - Size: 2.03 MB - Last synced: 10 months ago - Pushed: over 2 years ago - Stars: 2 - Forks: 0
helvm/heltc
🎓 🏫 HelTC - Haskellish Esoteric Lambda True Calculator to Esoteric Languages implemented in Haskell
Language: Haskell - Size: 893 KB - Last synced: 29 days ago - Pushed: 9 months ago - Stars: 5 - 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: 29 days ago - Pushed: over 2 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: 29 days ago - Pushed: over 3 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: 29 days ago - Pushed: about 5 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: 29 days ago - Pushed: almost 6 years ago - Stars: 0 - Forks: 0
4y8/esoo
Like the Programming Languages Zoo but with esoteric languages.
Language: OCaml - Size: 52.7 KB - Last synced: 11 months ago - Pushed: about 4 years ago - Stars: 25 - Forks: 1
thma/lispkit
Implementing a small functional language with a combinator graph reduction engine
Language: Haskell - Size: 92.8 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 5 - Forks: 0
jamesrweb/elm-aviary
An elm implementation of the birds from combinatory logic.
Language: Elm - Size: 15.6 KB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 1 - 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: about 1 year ago - Pushed: over 6 years ago - Stars: 3 - Forks: 0
siraben/mini-haskell
A self-hosting mini Haskell compiler with a mini C runtime.
Language: Haskell - Size: 137 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 61 - Forks: 3
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: about 1 year ago - Pushed: about 1 year ago - Stars: 2 - Forks: 1
chalkpe/lambda 📦
JavaScript implementation of the T[ ] transformation
Language: JavaScript - Size: 7.81 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 1 - 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: 24 days ago - Pushed: over 1 year ago - Stars: 5 - Forks: 1
lorepozo/ec Fork of ellisk42/jetty
Learning programs with the Exploration-Compression algorithm
Language: OCaml - Size: 297 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 9 - 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: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0
bokesan/skred
SK combinator reducer in Java
Language: Java - Size: 165 KB - Last synced: 10 months ago - Pushed: almost 4 years ago - Stars: 2 - Forks: 0
bediger4000/any-combinatory-logic
Combinatory Logic Interpreter with user-definable primitives and abstraction algorithms
Language: C - Size: 138 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 1 - Forks: 0
lukaszcz/hcpl
A prototypical proof checker and programming language based on illative combinatory logic
Language: OCaml - Size: 347 KB - Last synced: about 1 year ago - Pushed: over 2 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: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0
emarzion/combinator-confluence
A proof of confluence for combinatory logic
Language: Coq - Size: 13.7 KB - Last synced: 11 months ago - Pushed: over 7 years ago - Stars: 0 - Forks: 0