Alternatives and similar repositories for ski

Users that are interested in ski are comparing it to the libraries listed below

• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• serprex / Rue
  lang Thue + Regex
  ☆14Updated 3 years ago
• catseye / Vinegar
  MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail
  ☆13Updated last year
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 4 years ago
• catseye / Tamsin
  MIRROR of https://codeberg.org/catseye/Tamsin : Somewhere between a meta-language, a programming language, and a rubbish lister
  ☆16Updated last year
• dloscutoff / Esolangs
  Miscellaneous esoteric programming languages.
  ☆39Updated 5 months ago
• joes-esolangs / barrel
  An esoteric RPN golfing language
  ☆24Updated 2 years ago
• GrayJoKing / Cascade
  An esoteric language based on overlapping tree-like structures
  ☆10Updated 3 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 3 months ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆11Updated 7 years ago
• helvm / helma
  🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell
  ☆14Updated last year
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆64Updated last year
• Hakerh400 / esolangs
  Collection of interpreters for esoteric programming languages
  ☆14Updated 4 years ago
• jcolag / Thue
  The Thue programming language: Programming with grammars
  ☆31Updated 11 years ago
• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 5 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 5 months ago
• melvinzhang / binary-lambda-calculus
  For exploring http://www.ioccc.org/2012/tromp/hint.html
  ☆35Updated 7 years ago
• wompking / tailorlang
  A string-based esoteric programming language.
  ☆10Updated 3 years ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated 2 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆23Updated 2 months ago
• tangentstorm / b4
  b4 : a tiny forth-like virtual machine
  ☆37Updated this week
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• MikeInnes / BrainForth
  An Impractical Stack Language
  ☆14Updated 5 years ago
• DataKinds / sixty-five-oh-two
  A 65C02 Assembly eDSL in Haskell
  ☆16Updated 7 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated 2 years ago
• lambertjamesd / zen-lang
  An experimental language with compile time bounds checking
  ☆15Updated 5 years ago
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 7 years ago
• dloscutoff / ascii-piet
  A plain-text encoding for Piet programs
  ☆17Updated 3 years ago
• davidjbacon / SETL
  GNU SETL
  ☆30Updated 5 months ago