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
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆57Updated 7 months ago
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆95Updated last year
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆14Updated last month
• HouQiming / ama
  A system to amalgamate any features you want into any language you need
  ☆26Updated 3 years ago
• vihdzp / miratope-rs
  A tool for building and visualizing polytopes.
  ☆60Updated 7 months ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆44Updated this week
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆30Updated 5 years ago
• melody-notpond / owos-riscv
  Simple operating system for QEMU's virt board.
  ☆11Updated 4 years ago
• darrenks / golfscript
  A simple stack based code golf language
  ☆25Updated 3 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 3 years ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆36Updated this week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆35Updated 5 months ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆25Updated last month
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• cslarsen / busy-beaver
  Calculates the uncomputable Busy Beaver Σ-function
  ☆11Updated 9 years ago
• mhagiwara / recto
  ☆44Updated 2 months ago
• DolphyWind / Electra-Lang
  Electra is an esolang where you code like an electrician.
  ☆98Updated this week
• 8l / hsq
  Higher Subleq is a simplified typeless C language.
  ☆12Updated 9 years ago
• tjwei / Fractran
  Javascript implementation of Fractran
  ☆14Updated 8 years ago
• rdentato / gerku
  An interpreter for concatenative combinators (i.e. Combinators as a functional language)
  ☆10Updated 3 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• coetaur0 / nox
  The Nox programming language
  ☆30Updated 2 years ago
• MarcelGarus / martinaise
  A small, statically typed, low-level programming language.
  ☆22Updated last month
• marvinborner / BLoC
  File format and optimizer for programs encoded in binary lambda calculus
  ☆16Updated last year
• serprex / Rue
  lang Thue + Regex
  ☆15Updated 3 years ago
• nicolasloizeau / scalable-gol-computer
  Scalable computer implemented in the game of life.
  ☆129Updated 3 years ago
• dibsonthis / Glide
  Glide programming language
  ☆21Updated 2 years ago
• LunaTheFoxgirl / m1racle-mutex
  Don't tell me what not to do - Mutex built on an M1 security exploit
  ☆24Updated 4 years ago