ski-combinators

There are 2 repositories under ski-combinators topic.

witchcrafters / quark
Common combinators for Elixir
pointfree curried-functions elixir functional-languages functional-programming combinator ski-combinators operators
Language:Elixir 324
ljedrz / lambda_calculus
A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
lambda-calculus rust-library church-encoding rust lambda-expressions lambda-functions lambda-interpreter beta-reduction ski-combinators reduction-strategies combinatory-logic debruijn parigot-encoding scott-encoding embedded-iterators-encoding stump-fu-encoding
Language:Rust 97
birb
marvinborner / birb
:bird: *cheep cheep shriek caw*
combinatory-logic esolang lambda-calculus programming-language ski-combinators birds functional-programming
Language:Haskell 79
Superstar64 / sky
Lambda Calculus to Ski compiler and runtime.
lambda-calculus ski-combinators graph-reduction compilers
Language:Haskell 5
thma / lispkit
Implementing a small functional language with a combinator graph reduction engine
lispkit combinator-graphs graph-reduction lambda-calculus repl lambda-terms eval functional-language combinatory-logic ski-combinators parallel-reduction
Language:Haskell 5
MoAI-Dev-Team / MoAI
An automated theorem discovery system
ai deep-learning genetic-programming haskell lambda-calculus mathematics ski-combinators
Language:Haskell 3
mountain / skiverse
A SKI universe
simulation ski-combinators ski-calculus cheminformatics ideal-gas program-gas
Language:Java 3
Ailrun / Lambdifies
Lambdifies VM
language vm virtual-machine ski-calculus ski-combinators haskell
Language:Haskell 1
NeuralCoder3 / lambda-calc
A deBruijn implementation of the untyped lambda calculus implementation focused on equivalence proofs, a self-interpreter, and a verified compiler to SK
bootstrapping compiler coq-formalization lambda-calculus self-interpreter ski-combinators
Language:Coq 1
rootmos / ppx_ski
SKI combinator calculus implemented in OCaml
ocaml ppx ski-combinators ski-calculus
Language:OCaml 1
AlexiaChen / computation-theory
There are some implementations of computation theory in Ruby.
ruby semantic parser fsm ski-combinators pda programming-language-theory
Language:Ruby