Alternatives and similar repositories for CASprzak

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

• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆68Updated this week
• rokicki / lifealg
  ☆14Updated 7 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated 3 weeks ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆55Updated last week
• bbrk24 / Trilangle
  A 2-D programming language inspired by Hexagony
  ☆25Updated last week
• SheafificationOfG / BoolosBrewery
  You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
  ☆62Updated 3 months ago
• cseed / knotkit
  knot theory and computational algebra software
  ☆38Updated 11 years ago
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 4 years ago
• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 5 years ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆52Updated last year
• ericastor / rmzoo
  ☆14Updated last year
• m-ender / stackcats
  A stack-based programming language with a lot of symmetry.
  ☆26Updated 9 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆58Updated 9 months ago
• vEnhance / von
  Olympiad problem database
  ☆54Updated this week
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆129Updated last year
• abrudz / lb
  JavaScript language bars, keyboard layout key-bindings, and character compositions for entering APL characters
  ☆28Updated 6 months ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆89Updated last week
• metamath / metamath-book
  Source of metamath book
  ☆51Updated last year
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated last year
• Anon52MI4 / oeis-alien
  ☆22Updated 2 years ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆14Updated 3 months ago
• pxeger / whython
  Fork of Python with some terrible custom features hacked in
  ☆15Updated 3 years ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆166Updated 6 years ago
• dloscutoff / pip
  Pip: an imperative code-golf language
  ☆35Updated 3 months ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆25Updated last month
• WolframResearch / codeparser
  Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)
  ☆144Updated last year
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆298Updated this week
• graue / esofiles
  The Esoteric File Archive
  ☆104Updated last year
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆176Updated 2 weeks ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago