Alternatives and similar repositories for CaKe:

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

• Qqwy / Jux
  ☆14Updated 4 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 11 years ago
• jasonhemann / micro-in-mini
  an implementation of a microKanren(-like language) in miniKanren
  ☆26Updated 10 years ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆31Updated 5 years ago
• stchang / typed-rosette
  An experimental typed version of the Rosette language
  ☆13Updated 6 years ago
• harlanhaskins / hasm
  An Assembly-like programming language and interpreter in Haskell
  ☆16Updated 9 years ago
• cassowarii / alma
  poetic concatenative programming language
  ☆10Updated 8 months ago
• tov / alms
  The Alms Programming Language
  ☆44Updated 6 years ago
• doublec / shen-wasp
  Port of Shen to run on top of Wasp Lisp
  ☆25Updated 2 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated 2 weeks ago
• bennn / forth
  Forth emulator, as a Racket #lang
  ☆21Updated 2 years ago
• mndrix / jolog
  Concurrent and distributed Prolog via join patterns (join calculus)
  ☆12Updated 10 years ago
• suhr / wcpl
  ☆16Updated 6 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• norm2782 / NanoProlog
  ☆17Updated 2 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 6 months ago
• elpinal / types-1ml
  Type systems written in 1ML
  ☆9Updated 5 years ago
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 5 months ago
• Co-dfns / mystika
  High-end Cryptographic Library
  ☆44Updated 5 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated 2 years ago
• AHartNtkn / Dependent-Binary-Lambda-Calculus
  A Dependently Typed Esolang
  ☆10Updated 7 years ago
• chrisdone-archive / ats-examples
  Examples from Introduction to Programming in ATS
  ☆26Updated 10 years ago
• manshengyang / minikanren-ocaml
  miniKanren in OCaml
  ☆31Updated last year
• argumentcomputer / radiya.rs
  A Rust implementation of the Lean kernel
  ☆11Updated 2 years ago
• mndrix / func
  Apply and compose functions in Prolog
  ☆19Updated 8 years ago
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆16Updated 6 months ago
• darius / toot
  A small language to demo turning an interpreter into a compiler
  ☆11Updated 8 years ago
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆40Updated 6 years ago
• janestreet / sexp
  S-expression swiss knife
  ☆44Updated 4 months ago