Alternatives and similar repositories for ConstellationFinder

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

• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 12 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆15Updated 2 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆53Updated 4 months ago
• catseye / Wierd
  A fungeoid language where bends in the chain determine the instructions
  ☆12Updated 3 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 2 months ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆35Updated this week
• glacode / yamma
  VSCode extension for Metamath
  ☆10Updated last week
• danilopedraza / komodo
  The Komodo programming language code repository
  ☆11Updated 3 months ago
• eterevsky / beaver
  A solver for halting problem of Brainfuck programs
  ☆17Updated 5 years ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆55Updated last year
• pimlu / fractran
  World's fastest FRACTRAN interpeter
  ☆14Updated 2 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• sudgy / ganim
  A math animation engine based on geometric algebra
  ☆28Updated 2 weeks ago
• catseye / Vinegar
  MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail
  ☆13Updated last year
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆94Updated last year
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆26Updated this week
• ah1112 / synthetic_euclid_4
  ☆11Updated last year
• molarmanful / sclin
  A concatenative cyborg chimera.
  ☆10Updated 6 months ago
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆29Updated 4 years ago
• adam-mcdaniel / game-of-life
  A game of life🔬 simulator on an infinite♾️ plane
  ☆16Updated 3 years ago
• textiles-lab / fenced-tangle-supplemental
  ☆14Updated last year
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆18Updated 2 years ago
• Mathics3 / mathicsscript
  Terminal CLI to Mathics3
  ☆59Updated 5 months ago
• Gadersd / ic
  An interaction combinator runtime
  ☆17Updated 9 months ago
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆15Updated 3 years ago
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆18Updated 3 years ago
• cmhuang2011 / MagicDNA
  DNA origami design tool
  ☆37Updated last year
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated 3 months ago
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 3 years ago
• sorear / smetamath-rs
  sorear's Metamath system engine - version 3 Rust
  ☆24Updated 2 years ago