Alternatives and similar repositories for welkin

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

• curly-lang / curly-lang
  The Curly programming language (now in Rust!)
  ☆29Updated 4 years ago
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆42Updated last year
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated last week
• kspalaiologos / lc-apl
  Journey to the Center of the Lambda Calculus
  ☆14Updated last year
• kindelia-archive / LambdaVM
  A next-gen, massively parallel, beta-optimal functional runtime.
  ☆10Updated 3 years ago
• elucent / scheme2d
  The future of programming.
  ☆69Updated 4 years ago
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆34Updated 9 months ago
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆33Updated last month
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 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
• jan-Lope / Toki_Pona-Parser
  Toki Pona is a constructed, minimal language. This parser based on swi-prolog and definite clause grammars (dcg) and supports spelling, g…
  ☆51Updated 8 months ago
• xy-kasumi / hs2bf
  Haskell to brainfuck compiler
  ☆30Updated 11 years ago
• iitalics / Opal
  Simple and powerful programming language with type inference
  ☆24Updated 8 years ago
• Ahnfelt / funk
  PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching
  ☆53Updated 7 years ago
• civboot / fngi
  a readable language that grows from the silicon
  ☆61Updated last year
• uwutech / Kind
  A modern proof language
  ☆8Updated 4 years ago
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆15Updated 3 years ago
• melody-notpond / curly-lang-legacy
  Curly programming language
  ☆18Updated 4 years ago
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆14Updated last year
• jqueiroz / lojban.io
  A free and opensource platform for studying the artificial language Lojban.
  ☆88Updated last week
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆54Updated 2 years ago
• egel-lang / egel
  The Egel Programming Language
  ☆84Updated last month
• naalit / pika
  A WIP little dependently-typed systems language
  ☆41Updated 10 months ago
• sampersand / quest2
  reworking quest, but faster
  ☆10Updated last year
• QazmoQwerty / error-reporter
  A simple implementation for pretty, Rust-style error diagnostics.
  ☆27Updated 4 years ago
• 602p / orth
  Orth bootstrap compiler, Orth self-hosting compiler, and OS written in Orth
  ☆10Updated 6 years ago
• joes-esolangs / barrel
  An esoteric RPN golfing language
  ☆23Updated 2 years ago
• Armael / conch
  ☆24Updated 3 years ago
• melody-notpond / owos-riscv
  Simple operating system for QEMU's virt board.
  ☆11Updated 3 years ago