Alternatives and similar repositories for surreal-number-tree-picture

Users that are interested in surreal-number-tree-picture are comparing it to the libraries listed below

• apnelson1 / lean-matroids
  Matroids in Lean
  ☆18Updated last year
• andrejbauer / hydra
  The combinatorial Hydra game
  ☆16Updated 9 years ago
• matthewarcus / polyjs
  Animated polyhedra and compounds with Javascript & Three.js
  ☆20Updated last year
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆14Updated last month
• Reconcyl / myco
  An artificial life experiment.
  ☆11Updated 5 years ago
• maths / PRESS
  PRolog Equation Solving System
  ☆29Updated 9 years ago
• caliconiko / shapes
  A graphical shape based esolang
  ☆34Updated 2 years ago
• fandreuz / BisPy
  BisPy - Python bisimulation library
  ☆16Updated 3 years ago
• quilt-lang / quilt
  A programming language
  ☆11Updated 3 years ago
• met4citizen / Hypergraph
  Hypergraph Rewriting System
  ☆81Updated last year
• pegasus-1998 / horrible-game
  躲避怪物追捕的小游戏
  ☆12Updated 2 years ago
• mpedramfar / Lean-game-maker
  This project converts structured Lean code into an interactive browser game.
  ☆77Updated last year
• Desha-elfager / Video-Stream
  ☆10Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 4 months ago
• ysulyma / lv-tutorial-math
  Math-specific tutorial/sample project for Liqvid
  ☆22Updated 3 years ago
• maximecb / Gradient
  A JavaScript/HTML5 artificial life experiment involving agents that live in a 2D grid world.
  ☆16Updated 4 years ago
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 3 years ago
• Anon52MI4 / oeis-alien
  ☆20Updated 2 years ago
• ericastor / rmzoo
  ☆14Updated last year
• arendsee / lsystems
  L-system generators and visualizers
  ☆32Updated 3 years ago
• timhutton / klein-quartic
  Exploring the Klein Quartic's geometry.
  ☆28Updated last year
• mbuliga / chemski
  Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.
  ☆19Updated 2 years ago
• roice3 / Honeycombs
  Code for visualizing spherical, euclidean, and hyperbolic honeycombs in various ways
  ☆50Updated 4 months ago
• BohemianMatrices / BHIME-Project
  A set of Matlab functions for visualizing Bohemian eigenvalues.
  ☆50Updated 6 years ago
• franeklubi / scaffolding
  scaffolding is a very pointless esolang. Don't try it.
  ☆16Updated 5 years ago
• DaveAckley / SPLAT
  Repository for programming language SPLAT: Spatial Programming Language, Ascii Text
  ☆52Updated 4 years ago
• technicalguy / acs-category-theory-notes-2017
  Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.
  ☆14Updated 7 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated last year
• ReedOei / Pecan
  An automated theorem prover that uses Büchi automata.
  ☆43Updated 4 years ago
• trozler / myFourierEpicycles
  Draw your own fourier epicycle. The site also gives a brief explanation of the mathematics connecting fourier series and revolving epicyc…
  ☆79Updated 2 years ago