Alternatives and similar repositories for CASprzak

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

• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆52Updated last week
• Radvylf / trianguish
  A 2d "programming language" based around triangles
  ☆11Updated last year
• Radvylf / rSNBATWPL
  Radvylf Should Not Be Allowed To Write Programming Languages
  ☆12Updated 2 years ago
• m-ender / stackcats
  A stack-based programming language with a lot of symmetry.
  ☆26Updated 8 years ago
• Nazek42 / arcyou
  A LISP-like functional programming language suitable for code golf
  ☆13Updated 7 years ago
• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 5 years ago
• DennisMitchell / dodos
  Dodos Only Divide Or Surrender
  ☆14Updated 7 years ago
• zxcalc / quantomatic
  Quantomatic is a tool for doing automated graph rewriting.
  ☆165Updated 5 years ago
• psg-mit / tower-oopsla22
  OOPSLA'22 Artifact for "Tower: Data Structures in Quantum Superposition".
  ☆13Updated last year
• tkwa / Sledgehammer
  A code-golf language written in Mathematica
  ☆20Updated 5 years ago
• abrudz / lb
  JavaScript language bars, keyboard layout key-bindings, and character compositions for entering APL characters
  ☆28Updated 3 months ago
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated last week
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆65Updated this week
• bbchallenge / bbchallenge-deciders
  Here we give programs that check if Turing machines halt or not.
  ☆11Updated 5 months ago
• iczelia / ski
  a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff
  ☆11Updated 4 years ago
• dloscutoff / pip
  Pip: an imperative code-golf language
  ☆35Updated last week
• Thunno / Thunno
  An ASCII-based golfing language
  ☆14Updated 2 years ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆34Updated 3 months ago
• sflk-lang / sflk
  SFLK programing language reference interpreter
  ☆12Updated 2 years ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆119Updated last year
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆117Updated 5 years ago
• bbrk24 / Trilangle
  A 2-D programming language inspired by Hexagony
  ☆25Updated last month
• chunkybanana / halfwit
  Halfwit is an experimental golfing language that fits most commands in half a byte.
  ☆13Updated 3 years ago
• Axtell / Axtell
  An improved user experience for competitive programming
  ☆25Updated 5 years ago
• Timwi / Funciton
  Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter a…
  ☆41Updated 7 months ago
• Bubbler-4 / piet
  A browser-based Piet editor/interpreter
  ☆13Updated 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
• do-stuff-online / do-stuff-online
  A TIO clone
  ☆12Updated last year