GitHub topics: ski-combinator-calculus
ngzhian/ski
SKI combinators
Language: OCaml - Size: 19.5 KB - Last synced at: 29 days ago - Pushed at: about 8 years ago - Stars: 55 - Forks: 1
woodrush/lambda-8cc
x86 C compiler written in untyped lambda calculus
Language: Common Lisp - Size: 1.47 MB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 657 - Forks: 16
freddycoppa/lambda-js
Lambda Calculus Interpreter
Language: JavaScript - Size: 55.7 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 1 - Forks: 0
AR2202/SKIing
Simple Interpreter for the SKI combinator calculus
Language: Haskell - Size: 21.5 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
mneri/sk
(SK) Esoteric Programming Language
Language: Java - Size: 2 MB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0
mbuliga/chemski
Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
Language: JavaScript - Size: 1.75 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 12 - Forks: 1
SpyrosKou/SK-Calculus
SK Combinator Calculus written in Java
Language: Java - Size: 74.2 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
