Alternatives and similar repositories for myco

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

• GrayJoKing / Cascade
  An esoteric language based on overlapping tree-like structures
  ☆10Updated 4 years ago
• franeklubi / scaffolding
  scaffolding is a very pointless esolang. Don't try it.
  ☆16Updated 5 years ago
• Radvylf / trianguish
  A 2d "programming language" based around triangles
  ☆11Updated 2 years ago
• CapelliC / hhprolog
  hitchhiker Prolog - an implementation of a novel virtual machine
  ☆12Updated 2 years ago
• lunasorcery / hw
  HW: a modern, open-source, typeless, turing-incomplete programming language.
  ☆10Updated 7 years ago
• serprex / Rue
  lang Thue + Regex
  ☆15Updated 3 years ago
• wompking / tailorlang
  A string-based esoteric programming language.
  ☆10Updated 4 years ago
• rdentato / gerku
  An interpreter for concatenative combinators (i.e. Combinators as a functional language)
  ☆10Updated 4 years ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆20Updated 5 years ago
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆19Updated 2 years ago
• Sintrastes / Montague
  A library for non-deterministically parsing natural language expressions into a structured form.
  ☆18Updated 2 years ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆15Updated 4 months ago
• tetrapharmakon / yoneda-in-tongues
  Yoneda lemma in every known language
  ☆17Updated 2 years ago
• catseye / Mascarpone
  MIRROR of https://codeberg.org/catseye/Mascarpone : You are lost in a twisty maze of meta-circular interpreters, all alike.
  ☆23Updated 2 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆37Updated 9 months 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
• msullivan / LazyK
  Updated LazyK source distribution
  ☆19Updated last month
• DataKinds / charm
  A [ functional stack ] based language.
  ☆30Updated 2 years ago
• trillioneyes / idris-pong
  A browser Pong game, taking advantage of Idris's ability to compile to javascript.
  ☆18Updated 11 years ago
• iczelia / ski
  a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff
  ☆12Updated 4 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…
  ☆52Updated last year
• wolfgangj / wok
  Compiler that has been integrated into Okami now
  ☆24Updated 3 years ago
• UberPyro / prowl
  WIP stack language that uses regex for control flow
  ☆42Updated 2 years ago
• technicalguy / acs-category-theory-notes-2017
  Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
  ☆14Updated 7 years ago
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• MikeInnes / BrainForth
  An Impractical Stack Language
  ☆14Updated 5 years ago
• ComputerAidedLL / click-and-collect
  A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml
  ☆24Updated 8 months ago
• helvm / helma
  🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell
  ☆15Updated last year
• sconybeare / mltt
  Implementation of Martin-Löf Type Theory in Haskell
  ☆16Updated 9 years ago
• xy-kasumi / hs2bf
  Haskell to brainfuck compiler
  ☆31Updated 11 years ago