Alternatives and similar repositories for mini-sk

Users that are interested in mini-sk are comparing it to the libraries listed below

• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆11Updated 7 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 4 years ago
• serprex / Rue
  lang Thue + Regex
  ☆14Updated 3 years ago
• luser-dr00g / inca
  an APL-style array calculator/interpreter in C based on the J-incunabulum, extended to allow propagating specifications a+2+a<3, more fun…
  ☆29Updated 8 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
• advancingdragon / meta
  Val Schorre's META-II
  ☆60Updated 11 years ago
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆72Updated 8 years ago
• Wodan58 / Moy
  Stackless Joy
  ☆23Updated last month
• catseye / Vinegar
  MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail
  ☆13Updated last year
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 4 months ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 5 years ago
• breckinloggins / vau
  A programming language
  ☆14Updated 10 years ago
• mikewarot / mstoical
  MStoical - a Forth like language, but better
  ☆25Updated last year
• Bulat-Ziganshin / magus
  Portable high-level assembler with authentic C syntax
  ☆24Updated 2 years ago
• vatsjijj / titan
  The Titan programming language.
  ☆12Updated last year
• rdentato / gerku
  An interpreter for concatenative combinators (i.e. Combinators as a functional language)
  ☆10Updated 3 years ago
• kragen / urscheme
  ☆21Updated 12 years ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆57Updated 11 months ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆18Updated 8 years ago
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆33Updated last week
• Armael / conch
  ☆24Updated 3 years ago
• twhitehead / c99-meta
  Abusing the C99 preprocessor for meta-programming
  ☆20Updated 7 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated last month
• darius / cogen
  Compiler generator (3rd Futamura projection) for first-order Scheme
  ☆13Updated 8 years ago
• stokito / fortress-lang
  ☆54Updated 8 years ago
• mpu / lambda
  A small λ-calculus interpreter in C
  ☆56Updated 10 years ago
• wolfgangj / wok
  Compiler that has been integrated into Okami now
  ☆24Updated 2 years ago
• mlochbaum / ILanguage
  An interpreter for a J-inspired language
  ☆90Updated last year