EasyKayzey / CASprzakLinks
CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)
☆11Updated 6 months ago
Alternatives and similar repositories for CASprzak
Users that are interested in CASprzak are comparing it to the libraries listed below
Sorting:
- metamath proof enumerators and other things☆92Updated 2 months ago
- Java implementations of sequences in the OEIS☆70Updated this week
- Busy Beaver deciders backed by Coq proof☆61Updated 11 months ago
- A code-golf language written in Mathematica☆20Updated 5 years ago
- A constructive proof assistant for second order logic.☆36Updated last year
- A 2-D programming language inspired by Hexagony☆25Updated 3 weeks ago
- Mathematical proofs of the bbchallenge project.☆24Updated 5 months ago
- Halfwit is an experimental golfing language that fits most commands in half a byte.☆13Updated 3 years ago
- knot theory and computational algebra software☆38Updated 11 years ago
- The Curly programming language (now in Rust!)☆31Updated 4 years ago
- ☆14Updated last year
- Funciton (pronounced: /ˈfʌŋkɪtɒn/) is a two-dimensional, declarative, functional, esoteric programming language. This is an interpreter a…☆41Updated last year
- A 2d "programming language" based around triangles☆11Updated 2 years ago
- Metamath source file for logic and set theory☆302Updated this week
- http://mroman.ch/burlesque☆14Updated 6 years ago
- Radvylf Should Not Be Allowed To Write Programming Languages☆12Updated 3 years ago
- An experimental non-deterministic concatenative golfing language☆26Updated last month
- Python implementation of the monster group☆57Updated last month
- Metamath program - source code for the Metamath executable☆94Updated 2 months ago
- A TIO clone☆12Updated last year
- This project converts structured Lean code into an interactive browser game.☆78Updated 2 years ago
- A computer algebra system for research in combinatorial game theory☆54Updated 2 years ago
- Animations of lambda term reduction sequences☆162Updated 7 years ago
- Pip: an imperative code-golf language☆36Updated 2 weeks ago
- Here we give programs that check if Turing machines halt or not.☆15Updated 5 months ago
- A LISP-like functional programming language suitable for code golf☆13Updated 8 years ago
- My esoteric languages☆28Updated 3 years ago
- IDE (Interpreter/Debugger Engine) for esoteric programming languages. Allows step-by-step debugging and shows a watch window during debug…☆173Updated last year
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- A repository for the Quest For Tetris☆185Updated 4 years ago