Alternatives and similar repositories for cas:

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

• AlephAlpha / golly
  Golly, a Game of Life simulator (unofficial mirror from SourceForge)
  ☆50Updated last week
• rubberduck203 / Evolve
  Artificial Life Simulator Originally Authored by Ken Stauffer
  ☆63Updated 5 years ago
• jbeder / fractran
  Fractran interpreter in Fractran
  ☆34Updated 10 years ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆59Updated this week
• jcponce / complex
  Applets about complex analysis
  ☆35Updated 4 months ago
• EcoSimIBM / EcoSim-Default
  EcoSim, an individual-based evolving predator-prey ecosystem simulation
  ☆19Updated 7 years ago
• HackerPoet / Particle-Life
  A game of life with particles
  ☆364Updated 4 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 7 months ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆81Updated 6 months ago
• xbarin02 / collatz
  Convergence verification of the Collatz problem
  ☆64Updated last week
• kspalaiologos / Maja
  A slick numerics-oriented Mathematical library for Java
  ☆18Updated last year
• mars-sim / mars-sim
  Mars Simulation Project Official Codebase
  ☆113Updated this week
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆38Updated last year
• OpenLogicProject / fitch-checker
  JavaScript/PHP Fitch-style natural deduction proof editor and checker (NO LONGER MAINTAINED)
  ☆51Updated 5 months ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆11Updated last month
• aaronryank / Cubically
  An esoteric programming language based on Rubik's Cubes
  ☆28Updated 6 years ago
• metamath / metamath-book
  Source of metamath book
  ☆47Updated last year
• abrudz / lb
  JavaScript language bars, keyboard layout key-bindings, and character compositions for entering APL characters
  ☆28Updated 2 months ago
• henryseg / cohomology_fractals
  Drawing cohomology fractals with the GPU.
  ☆50Updated last year
• BLayman / Artificial-Life-Simulator
  An ecologically inspired multi-agent system. Agents are designed with neural network based decision making, and complex resource requirem…
  ☆51Updated 5 years ago
• loopspace / tilings
  TikZ/PGF package for drawing tilings, such as penrose and polykite tilings
  ☆16Updated last year
• Ludeme / Ludii
  The Ludii general game system, developed as part of the ERC-funded Digital Ludeme Project.
  ☆113Updated last week
• michael1241 / wcc_analysis
  ☆39Updated last year
• Paul566 / chessOpeningStats
  ☆14Updated 3 years ago
• OpenLogicProject / set-theory
  Tim Button's open textbook on set theory
  ☆32Updated last year
• codex-iter / Hello-Esolangs
  Hello world programs written in different esoteric languages
  ☆11Updated 4 years ago
• francoisschwarzentruber / prooffold
  Another attempt for visualizing proofs
  ☆11Updated 3 months ago
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆17Updated 3 months ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆269Updated this week