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
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated last month
• pxeger / whython
  Fork of Python with some terrible custom features hacked in
  ☆14Updated 3 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆56Updated this week
• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 6 years ago
• dloscutoff / pip
  Pip: an imperative code-golf language
  ☆35Updated 4 months ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆90Updated last month
• qpliu / esolang
  My esoteric languages
  ☆28Updated 3 years ago
• attempt-this-online / attempt-this-online
  Try It Online clone: online sandbox environment for testing code in a variety of languages
  ☆68Updated last month
• tkwa / Sledgehammer
  A code-golf language written in Mathematica
  ☆20Updated 5 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 5 years ago
• bbrk24 / Trilangle
  A 2-D programming language inspired by Hexagony
  ☆25Updated last week
• cseed / knotkit
  knot theory and computational algebra software
  ☆38Updated 11 years ago
• abrudz / lb
  JavaScript language bars, keyboard layout key-bindings, and character compositions for entering APL characters
  ☆28Updated 7 months ago
• m-ender / stackcats
  A stack-based programming language with a lot of symmetry.
  ☆26Updated 9 years ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆54Updated last year
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆301Updated this week
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆15Updated 4 months ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆76Updated last year
• Thunno / Thunno
  An ASCII-based golfing language
  ☆14Updated 3 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆59Updated 10 months ago
• Axtell / Axtell
  An improved user experience for competitive programming
  ☆25Updated 5 years ago
• DennisMitchell / dodos
  Dodos Only Divide Or Surrender
  ☆14Updated 7 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆132Updated last year
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆79Updated 4 years ago
• Nazek42 / arcyou
  A LISP-like functional programming language suitable for code golf
  ☆13Updated 7 years ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆170Updated 6 years ago
• chunkybanana / halfwit
  Halfwit is an experimental golfing language that fits most commands in half a byte.
  ☆13Updated 3 years ago
• Vyxal / Vyxal
  A code-golfing language experience that has aspects of traditional programming languages - terse yet convenient.
  ☆296Updated this week