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
  ☆65Updated this week
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆53Updated 2 weeks ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆91Updated this week
• cseed / knotkit
  knot theory and computational algebra software
  ☆38Updated 11 years ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆88Updated 3 months ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆50Updated last year
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆105Updated last week
• Timwi / Funciton
  Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter a…
  ☆41Updated 9 months ago
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆152Updated 7 years ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated this week
• bbchallenge / bbchallenge-proofs
  Mathematical proofs of the bbchallenge project.
  ☆24Updated last month
• rokicki / lifealg
  ☆13Updated 7 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆39Updated 4 months ago
• attempt-this-online / attempt-this-online
  Try It Online clone: online sandbox environment for testing code in a variety of languages
  ☆66Updated 3 weeks ago
• SheafificationOfG / BoolosBrewery
  You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
  ☆61Updated 2 months ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆14Updated last month
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆123Updated last year
• abrudz / lb
  JavaScript language bars, keyboard layout key-bindings, and character compositions for entering APL characters
  ☆28Updated 5 months ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated last year
• Radvylf / trianguish
  A 2d "programming language" based around triangles
  ☆11Updated 2 years ago
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆35Updated last year
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆57Updated 7 months 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
  ☆296Updated this week
• csmberkeley / csm-61a
  CSM 61A Worksheets in Latex
  ☆13Updated last week
• psg-mit / tower-oopsla22
  OOPSLA'22 Artifact for "Tower: Data Structures in Quantum Superposition".
  ☆13Updated last year
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 4 years ago
• pxeger / whython
  Fork of Python with some terrible custom features hacked in
  ☆15Updated 3 years ago