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
• thegraycuber / thegraycuber.github.io
  ☆49Updated this week
• HackerPoet / Beryl
  ☆70Updated 8 months ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆59Updated 10 months ago
• DolphyWind / Electra-Lang
  Electra is an esolang where you code like an electrician.
  ☆99Updated last month
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated last month
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆159Updated 7 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• darrenks / golfscript
  A simple stack based code golf language
  ☆26Updated 3 years ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆37Updated this week
• nicolasloizeau / scalable-gol-computer
  Scalable computer implemented in the game of life.
  ☆137Updated 3 years ago
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆99Updated 2 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆68Updated this week
• HactarCE / NDCell
  A fast, flexible, and feature-rich interactive multidimensional cellular automaton simulator written in Rust
  ☆25Updated 4 years ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆57Updated last year
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆15Updated 4 months ago
• sidneycadot / oeis
  Code to download, process, and analyse the Online Encyclopedia of Integer Sequences
  ☆50Updated 11 months ago
• mhagiwara / recto
  ☆49Updated 5 months ago
• dmadisetti / sona.js
  a simple language with a 1000 character interpreter inspired by toki pona
  ☆82Updated 3 years ago
• vihdzp / miratope-rs
  A tool for building and visualizing polytopes.
  ☆62Updated 10 months ago
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆28Updated this week
• egel-lang / soul
  Soul - an esoteric concatenative language
  ☆12Updated last year
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆26Updated last week
• primo-ppcg / BF-Crunch
  ☆12Updated 3 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆49Updated 2 months ago
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆15Updated 3 years ago
• xbarin02 / collatz
  Convergence verification of the Collatz problem
  ☆73Updated last month
• Mysticial / ProtoNTT
  A basic implementation of the Small Primes Number-Theoretic Transform (NTT) multiplication algorithm.
  ☆24Updated 8 years ago
• bbrk24 / Trilangle
  A 2-D programming language inspired by Hexagony
  ☆25Updated this week
• Thunno / Thunno
  An ASCII-based golfing language
  ☆14Updated 3 years ago