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 11 months ago
• archmageirvine / joeis
  Java implementations of sequences in the OEIS
  ☆63Updated this week
• bbrk24 / Trilangle
  A 2-D programming language inspired by Hexagony
  ☆25Updated 2 weeks ago
• m-ender / stackcats
  A stack-based programming language with a lot of symmetry.
  ☆26Updated 8 years ago
• digama0 / mmj2
  mmj2 GUI Proof Assistant for the Metamath project
  ☆75Updated 10 months ago
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆82Updated 2 months ago
• qpliu / esolang
  My esoteric languages
  ☆27Updated 2 years ago
• attempt-this-online / attempt-this-online
  Try It Online clone: online sandbox environment for testing code in a variety of languages
  ☆63Updated last month
• AlephAlpha / Nekomata
  An experimental non-deterministic concatenative golfing language
  ☆24Updated 3 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
• kspalaiologos / Maja
  A slick numerics-oriented Mathematical library for Java
  ☆19Updated last week
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆33Updated 2 months ago
• Radvylf / trianguish
  A 2d "programming language" based around triangles
  ☆11Updated last year
• cairdcoinheringaahing / AddPlusPlus
  JHT rating: 28-765
  ☆13Updated 6 years ago
• pxeger / whython
  Fork of Python with some terrible custom features hacked in
  ☆16Updated 2 years ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆123Updated 3 years ago
• Nazek42 / arcyou
  A LISP-like functional programming language suitable for code golf
  ☆13Updated 7 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆53Updated 4 months ago
• Timwi / Funciton
  Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter a…
  ☆42Updated 5 months ago
• Bubbler-4 / piet
  A browser-based Piet editor/interpreter
  ☆13Updated 2 years ago
• FMNSSun / Burlesque
  http://mroman.ch/burlesque
  ☆14Updated 5 years ago
• JCumin / Brachylog
  A terse declarative logic programming language
  ☆118Updated 4 years ago
• rodrigogiraoserrao / APLLeetCode
  Solving LeetCode problems in Dyalog APL
  ☆12Updated 3 years ago
• chunkybanana / halfwit
  Halfwit is an experimental golfing language that fits most commands in half a byte.
  ☆13Updated 3 years ago
• abrudz / lb
  JavaScript language bars, keyboard layout key-bindings, and character compositions for entering APL characters
  ☆28Updated last month
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆44Updated last year
• amethyst-lang / amethyst
  Amethyst is a systems language aimed at being simple, small, portable, and safe.
  ☆45Updated last year
• barbuz / Husk
  Functional golfing language inspired by Haskell.
  ☆78Updated 4 years ago
• Thunno / Thunno
  An ASCII-based golfing language
  ☆14Updated 2 years ago
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆34Updated 9 months ago