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
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆51Updated 3 weeks ago
• psg-mit / tower-oopsla22
  OOPSLA'22 Artifact for "Tower: Data Structures in Quantum Superposition".
  ☆12Updated last year
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆82Updated 2 weeks ago
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆14Updated 5 months ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆53Updated 5 months ago
• abrudz / lb
  JavaScript language bars, keyboard layout key-bindings, and character compositions for entering APL characters
  ☆28Updated 2 months ago
• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 5 years ago
• tkwa / Sledgehammer
  A code-golf language written in Mathematica
  ☆20Updated 5 years ago
• Radvylf / rSNBATWPL
  Radvylf Should Not Be Allowed To Write Programming Languages
  ☆12Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 3 months ago
• danbriggs / Turing
  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates
  ☆20Updated 3 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated 10 months ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated 2 weeks ago
• curly-lang / curly-lang
  The Curly programming language (now in Rust!)
  ☆29Updated 4 years ago
• darrenks / golfscript
  A simple stack based code golf language
  ☆25Updated 2 years ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• bbrk24 / Trilangle
  A 2-D programming language inspired by Hexagony
  ☆25Updated last week
• pxeger / whython
  Fork of Python with some terrible custom features hacked in
  ☆16Updated 2 years ago
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆91Updated this week
• teorth / symmetric_project
  ☆92Updated last year
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆81Updated last year
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆288Updated this week
• m-ender / stackcats
  A stack-based programming language with a lot of symmetry.
  ☆26Updated 8 years ago
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago
• Radvylf / trianguish
  A 2d "programming language" based around triangles
  ☆11Updated last year
• inQWIRE / QWIRE
  A quantum circuit language and formal verification tool
  ☆104Updated 3 months ago
• ccz181078 / Coq-BB5
  ☆322Updated 4 months ago