Alternatives and similar repositories for cas

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

• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆65Updated this week
• AlephAlpha / golly
  Golly, a Game of Life simulator (unofficial mirror from SourceForge)
  ☆55Updated 2 weeks ago
• rubberduck203 / Evolve
  Artificial Life Simulator Originally Authored by Ken Stauffer
  ☆65Updated 5 years ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆254Updated last year
• fnky / particle-life
  Game of life with particles
  ☆302Updated 4 years ago
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆55Updated last week
• HackerPoet / Particle-Life
  A game of life with particles
  ☆371Updated 4 years ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆92Updated this week
• awmorp / turing
  Turing machine simulator in HTML/Javascript
  ☆84Updated last year
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆84Updated last month
• beltoforion / recreational_mathematics_with_python
  Short python samples of recreational mathematics.
  ☆63Updated 2 months ago
• LingDong- / asciimare
  3D engine powered by ASCII art
  ☆77Updated 7 years ago
• mars-sim / mars-sim
  Mars Simulation Project Official Codebase
  ☆131Updated this week
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆899Updated this week
• tmanderson / Accrete.js
  Planetary system formation simulation in your browser, or on the server.
  ☆37Updated 2 years ago
• Timwi / EsotericIDE
  IDE (Interpreter/Debugger Engine) for esoteric programming languages. Allows step-by-step debugging and shows a watch window during debug…
  ☆171Updated last year
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆291Updated this week
• leios / SoME_Topics
  Collaboration / Topic requests for SoME
  ☆210Updated 2 years ago
• BLayman / Artificial-Life-Simulator
  An ecologically inspired multi-agent system. Agents are designed with neural network based decision making, and complex resource requirem…
  ☆53Updated 5 years ago
• szschaler / GridGames
  A DSL for developing grid-based arcade-style games. Because, .... fun!
  ☆17Updated 2 years ago
• sagemath / sagecell
  The Sage Cell Server---providing a way to embed Sage computations into any web page.
  ☆214Updated last week
• RamanujanMachine / RamanujanMachine
  ☆338Updated 2 years ago
• codex-iter / Hello-Esolangs
  Hello world programs written in different esoteric languages
  ☆11Updated 5 years ago
• danijelaskov / microjava-compiler
  A fully functional compiler for a custom high-level Java-like programming language called MicroJava.
  ☆26Updated 2 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• VAlgoLang / VAlgoLang
  Domain Specific Language using Manim to create animations for data structures and algorithms
  ☆50Updated 4 years ago
• Ludeme / Ludii
  The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.
  ☆131Updated 3 weeks ago
• AaronLS / CellularAutomataAsNeuralNetwork
  Runs John Conway's Game of Life or any other outer totalistic cellular automata you define, but internally cells states are represented a…
  ☆26Updated 11 years ago
• singularity / singularity
  A simulation of a true AI. Survive, grow, and learn.
  ☆386Updated 2 months ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆39Updated 2 months ago