Alternatives and similar repositories for ConstellationFinder

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

• thegraycuber / thegraycuber.github.io
  ☆42Updated last week
• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 12 years ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆14Updated 3 months ago
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆97Updated 2 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated last month
• nicolasloizeau / scalable-gol-computer
  Scalable computer implemented in the game of life.
  ☆137Updated 3 years ago
• DolphyWind / Electra-Lang
  Electra is an esolang where you code like an electrician.
  ☆98Updated 3 weeks ago
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆30Updated 5 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• HouQiming / ama
  A system to amalgamate any features you want into any language you need
  ☆26Updated 3 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆58Updated 9 months ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆37Updated this week
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆47Updated last month
• BirdbrainEngineer / lenia
  ☆79Updated last year
• jcponce / calculus
  Applets about Calculus
  ☆39Updated last year
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆68Updated this week
• exoticorn / curlywas
  A curly-braces infix language that compiles to WebAssembly
  ☆55Updated 2 years ago
• benburrill / picoputt
  Quantum miniature golf
  ☆29Updated last week
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆15Updated 3 years ago
• HackerPoet / Beryl
  ☆70Updated 7 months ago
• dmadisetti / sona.js
  a simple language with a 1000 character interpreter inspired by toki pona
  ☆82Updated 3 years ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆154Updated 7 years ago
• sd-visualiser / sd-visualiser
  String diagram visualiser
  ☆16Updated last week
• 1ucasvb / interleaver
  Utility algorithm for progressive-rendering of 1D and 2D data. Various implementations available (Python, C++, Mathematica, MATLAB).
  ☆20Updated 11 months ago
• vihdzp / miratope-rs
  A tool for building and visualizing polytopes.
  ☆62Updated 9 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆37Updated 7 months ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆135Updated last week
• etiamz / supercompilation-resources
  📚 A collection of resources about supercompilation
  ☆125Updated 5 months ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆25Updated last month
• alexjercan / croof
  Simple Math Proof Tool for Simple Math Expressions
  ☆40Updated 5 months ago