Alternatives and similar repositories for ConstellationFinder

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

• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆58Updated 8 months ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 4 years ago
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆37Updated this week
• vkostyukov / quipu
  Quipu Programming Language
  ☆20Updated 12 years ago
• marvinborner / birb
  *cheep cheep shriek caw*
  ☆95Updated 2 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆46Updated last month
• loda-lang / loda-cpp
  Runtime and miner for the LODA language written in C++
  ☆27Updated last week
• Lambda-Mountain-Compiler-Backend / lambda-mountain
  Compiler Backend for LSTS (Typed Macro Assembler)
  ☆34Updated this week
• camel-cdr / bfcpp
  Optimizing Brainfuck interpreter in the C preprocessor
  ☆65Updated 3 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 weeks ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆14Updated 2 months ago
• HouQiming / ama
  A system to amalgamate any features you want into any language you need
  ☆26Updated 3 years ago
• HackerPoet / NeighborlyPolyhedra
  Search for the K12 neighborly polyhedron.
  ☆115Updated 11 months ago
• melody-notpond / owos-riscv
  Simple operating system for QEMU's virt board.
  ☆11Updated 4 years ago
• jart / blc
  Binary Lambda Calculus Virtual Machine
  ☆56Updated last year
• exoticorn / curlywas
  A curly-braces infix language that compiles to WebAssembly
  ☆55Updated 2 years ago
• adam-mcdaniel / smpl
  A superset of brainfuck with dynamic memory management.
  ☆30Updated 5 years ago
• DolphyWind / Electra-Lang
  Electra is an esolang where you code like an electrician.
  ☆98Updated last week
• ericastor / rmzoo
  ☆14Updated last year
• thegraycuber / thegraycuber.github.io
  ☆41Updated last week
• etiamz / supercompilation-resources
  📚 A collection of resources about supercompilation
  ☆124Updated 4 months ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆153Updated 7 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 3 years ago
• mrrobottrax / RayCaster
  ☆18Updated last week
• StavromulaBeta / emoji-apl
  Like APL, but with emojis
  ☆15Updated 3 years ago
• annacrombie / meson-raytracer
  ☆54Updated 3 years ago
• HackerPoet / Beryl
  ☆70Updated 7 months ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆109Updated this week
• LaurenzV / master-thesis
  My master's thesis about the topic "High-performance 2D graphics rendering on the CPU using sparse strips"
  ☆147Updated 3 weeks ago
• SheafificationOfG / BoolosBrewery
  You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
  ☆62Updated 3 months ago