Alternatives and similar repositories for ski

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

• serprex / Rue
  lang Thue + Regex
  ☆15Updated 3 years ago
• catseye / Tamsin
  MIRROR of https://codeberg.org/catseye/Tamsin : Somewhere between a meta-language, a programming language, and a rubbish lister
  ☆18Updated 2 years ago
• Hakerh400 / esolangs
  Collection of interpreters for esoteric programming languages
  ☆14Updated 4 years ago
• davidjbacon / SETL
  GNU SETL
  ☆36Updated 9 months ago
• GrayJoKing / Cascade
  An esoteric language based on overlapping tree-like structures
  ☆10Updated 4 years ago
• m-ender / orthagonal
  A two-dimensional programming language from 1994.
  ☆12Updated 9 years ago
• catseye / Vinegar
  MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail
  ☆15Updated 2 years ago
• iczelia / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 3 years ago
• tangentstorm / b4
  b4 : a tiny forth-like virtual machine
  ☆40Updated last week
• helvm / helma
  🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell
  ☆15Updated last year
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆19Updated 5 years ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 3 years ago
• jimwhite / treemeta
  A revival of the TREE-META compiler-compiler.
  ☆15Updated 7 years ago
• wompking / tailorlang
  A string-based esoteric programming language.
  ☆10Updated 4 years ago
• westerp / ebf-compiler
  A self hosting Extended brainfuck to pure brainfuck compiler
  ☆11Updated 7 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• dloscutoff / Esolangs
  Miscellaneous esoteric programming languages.
  ☆39Updated 3 months ago
• melvinzhang / binary-lambda-calculus
  For exploring http://www.ioccc.org/2012/tromp/hint.html
  ☆35Updated 8 years ago
• m-ender / wumpus
  A two-dimensional, triangular programming language.
  ☆18Updated 4 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆25Updated 3 weeks ago
• Noxime / nihongo
  A working and hopefully fast SUBLEQ emulator to run DawnOS
  ☆12Updated 6 years ago
• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 5 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated last year
• darrenks / atlas
  concise functionless functional esolang
  ☆14Updated 7 months ago
• msullivan / LazyK
  Updated LazyK source distribution
  ☆18Updated 2 months ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆18Updated 3 years ago
• triska / presprover
  Prove formulas of Presburger Arithmetic
  ☆11Updated last year
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆37Updated 7 months ago
• darius / cogen
  Compiler generator (3rd Futamura projection) for first-order Scheme
  ☆13Updated 9 years ago
• AHartNtkn / Dependent-Binary-Lambda-Calculus
  A Dependently Typed Esolang
  ☆10Updated 8 years ago