Alternatives and similar repositories for ski:

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

• catseye / Tamsin
  MIRROR of https://codeberg.org/catseye/Tamsin : Somewhere between a meta-language, a programming language, and a rubbish lister
  ☆16Updated last year
• 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
• kspalaiologos / blc-mb
  Binary Lambda Calculus evaluation engine written in Malbolge.
  ☆17Updated 2 years ago
• jpellegrini / gnu-apl-refcard
  A reference card for GNU APL
  ☆12Updated 2 months ago
• razetime / efficient-array-programming
  A collection of documents and writings on efficient programming in array-oriented languages akin to APL.
  ☆9Updated last year
• GrayJoKing / Cascade
  An esoteric language based on overlapping tree-like structures
  ☆10Updated 3 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 4 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 3 months ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• jcolag / Thue
  The Thue programming language: Programming with grammars
  ☆31Updated 10 years ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated last year
• mlochbaum / BQNoise
  Audio library for BQN
  ☆18Updated last year
• davidjbacon / SETL
  GNU SETL
  ☆29Updated 2 months ago
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆11Updated 7 years ago
• SjVer / Lamb
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Updated 2 years ago
• JakubGrobelny / aurox-lang
  Interpreter written for Prolog course.
  ☆10Updated 5 years ago
• ptarau / binprolog
  Fast, simplified WAM-based Prolog system
  ☆21Updated 2 years ago
• woodrush / lambdacraft
  Common Lisp DSL for building untyped lambda calculus expressions
  ☆25Updated 4 months ago
• tangentstorm / b4
  b4 : a tiny forth-like virtual machine
  ☆32Updated 2 weeks ago
• remexre / forth386
  A bare-metal Forth for i386 machines.
  ☆13Updated 5 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 10 months ago
• darius / cogen
  Compiler generator (3rd Futamura projection) for first-order Scheme
  ☆13Updated 8 years ago
• ashermancinelli / cxbqn
  BQN virtual machine
  ☆31Updated last year
• joes-esolangs / barrel
  An esoteric RPN golfing language
  ☆23Updated 2 years ago
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 11 years ago
• aplteam / Tatin
  Tatin is a package manager for Dyalog APL
  ☆25Updated last month
• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 5 years ago
• Hakerh400 / esolangs
  Collection of interpreters for esoteric programming languages
  ☆14Updated 3 years ago
• Schol-R-LEA / Assiah
  A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures
  ☆16Updated 6 years ago