Alternatives and similar repositories for explanaria.github.io

Users that are interested in explanaria.github.io are comparing it to the libraries listed below

• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆210Updated 2 years ago
• HollowaySean / BlackHoleViz_v2
  Black Hole Visualizer in Unity C#
  ☆113Updated last year
• xbarin02 / collatz
  Convergence verification of the Collatz problem
  ☆74Updated this week
• dmishin / fft-image-experiments
  Experiments with applying Fourier transofrms to various plane-filling curves and patterns
  ☆215Updated 8 years ago
• QuestForTetris / QFT
  A repository for the Quest For Tetris
  ☆185Updated 4 years ago
• tromp / ChessPositionRanking
  Software suite for ranking chess positions and accurately estimating the number of legal chess positions
  ☆176Updated 2 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 2 months ago
• nicolasloizeau / guigl
  GUI for glider logic in Conway's game of life.
  ☆101Updated 6 years ago
• fcrozatier / champagne
  champagne
  ☆32Updated 2 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆61Updated 11 months ago
• shorterlife / challenge
  Can you write a shorter Javascript version of Conway's game of life?
  ☆16Updated 5 years ago
• maksimovichsam / DoublePendulumVideo
  Used to make: https://youtu.be/n7JK4Ht8k8M
  ☆139Updated 3 years ago
• TartanLlama / vizh
  An esoteric visual language that takes image files as input based on a multi-tape turing machine, designed for compatibility with C.
  ☆233Updated 2 years ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆49Updated 2 weeks ago
• HackerPoet / Beryl
  ☆70Updated 9 months ago
• morpho-matters / morpholib
  A general-purpose programmatic animation tool
  ☆241Updated this week
• MLanguage / mlang
  Compiler for the M language, used to compute the income tax of French taxpayers
  ☆198Updated 2 weeks ago
• rottytooth / Entropy
  Compiler for Entropy, a programming language where all data is in a constant state of decay
  ☆62Updated last month
• nicolasloizeau / gol-computer
  A computer in Conway's game of life
  ☆173Updated last year
• akshayravikumar / TeXnique
  A LaTeX Typesetting Game
  ☆261Updated 10 months ago
• ashutoshbsathe / yacv
  Yet Another Compiler Visualizer
  ☆164Updated 4 years ago
• jix / sortnetopt
  Lower Size Bounds for Sorting Networks
  ☆46Updated 5 years ago
• AZHenley / superoptimizer
  A toy superoptimizer for a limited assembly language.
  ☆59Updated 2 years ago
• mabotkin / complex
  A web application to visualize complex mappings.
  ☆31Updated 9 years ago
• aatishb / patterncollider
  A web interactive for generating and exploring quasiperiodic tiling patterns
  ☆314Updated 2 years ago
• erich-friedman / erich-friedman.github.io
  ☆57Updated last week
• teorth / QED
  Repository for the QED interactive text and possible extensions
  ☆117Updated last year
• elliotwaite / rule-30-and-game-of-life
  Generates a 2D animation of Rule 30 (or other rules) being fed into Conway's Game of Life.
  ☆165Updated 2 years ago
• ccz181078 / Coq-BB5
  ☆356Updated 4 months ago
• mmulet / code-relay
  Source for the Code Relay website. Code Relay The fastest and easiest way to contribute to open source!
  ☆340Updated last year