Alternatives and similar repositories for universal-search

Users that are interested in universal-search are comparing it to the libraries listed below

• xbarin02 / collatz
  Convergence verification of the Collatz problem
  ☆66Updated last month
• mattbatwings / neuralnetwork
  ☆29Updated last year
• SheafificationOfG / Fibsonicci
  Source code for a video on computing Fibonacci numbers efficiently
  ☆120Updated 6 months ago
• nicolasloizeau / scalable-gol-computer
  Scalable computer implemented in the game of life.
  ☆122Updated 3 years ago
• polylog-cs / rubiks-cube-video
  Using meet-in-the-middle to solve the Rubik's cube
  ☆79Updated last year
• SheafificationOfG / Fibsonisheaf
  Computing Fibonacci numbers efficiently, for real this time.
  ☆79Updated 2 months ago
• standupmaths / fiveletterworda
  It's the terrible python code (provably worse than normal) from the Stand-up Maths video about five five-letter words: https://youtu.be/_…
  ☆40Updated 2 years ago
• SheafificationOfG / BoolosBrewery
  You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
  ☆56Updated 7 months ago
• nicolasloizeau / guigl
  GUI for glider logic in Conway's game of life.
  ☆102Updated 5 years ago
• ckrause / loda
  LODA is an assembly language, a computational model and a tool for mining integer sequence programs.
  ☆21Updated 3 years ago
• UBC-Rocket / Whistler-Blackcomb-v2
  Flight computer firmware for Whistler Blackcomb rocket.
  ☆21Updated 2 years ago
• HackerPoet / NeighborlyPolyhedra
  Search for the K12 neighborly polyhedron.
  ☆111Updated 6 months ago
• hunar4321 / mandelbrot
  Simple Mandelbrot
  ☆61Updated last year
• Ma11ock / holyc
  Holy C compiler. Targets LLVM.
  ☆37Updated 2 years ago
• ange-yaghi / scs-2d-demo
  Demo for the Simple 2D Constraint Solver.
  ☆104Updated last year
• OfficialCodeNoodles / Image-Archives
  This program is inspired by the famous Babel Image Archives. It can generate every single image within a dataspace with only a location.
  ☆44Updated last year
• HackerPoet / Beryl
  ☆64Updated 2 months ago
• maksimovichsam / DoublePendulumVideo
  Used to make: https://youtu.be/n7JK4Ht8k8M
  ☆135Updated 2 years ago
• ilyanikolaevsky / five_words
  A solution to the problem of finding five English words with 25 distinct characters, using dynamic programming.
  ☆65Updated 2 years ago
• liam-ilan / python-cube
  A cube wireframe renderer in a 45x45 python script
  ☆44Updated 2 years ago
• ange-yaghi / simple-2d-constraint-solver
  Simple physics simulator with support for rigid bodies, force generators and constraints.
  ☆655Updated last year
• radian628 / lispsmos
  A LISP-y language that compiles to Desmos expressions.
  ☆59Updated 10 months ago
• carykh / AbacabaCOVID19
  A dumping ground of all my COVID-19 visualizations posted here: https://www.youtube.com/user/1abacaba1/videos
  ☆54Updated 3 years ago
• harryli0088 / hamming-code
  ☆39Updated 3 years ago
• adumb-codes / adumb-codes.github.io
  ☆20Updated last year
• oisyn / parkerwords
  ☆162Updated 2 years ago
• Dyalog / TryAPL
  This is the source code for TryAPL.org
  ☆26Updated 3 weeks ago
• beneater / ooda-loop
  OODA loop demo
  ☆84Updated 2 years ago
• mattbatwings / BatPU
  ☆38Updated last year
• jart / matmul
  ☆18Updated 11 months ago