EasyKayzey / CASprzak
CASprzak is a Computer Algebra System by EasyKayzey (Erez Abrams and Michael Kasprzak)
☆11Updated last week
Alternatives and similar repositories for CASprzak:
Users that are interested in CASprzak are comparing it to the libraries listed below
- The Curly programming language (now in Rust!)☆29Updated 3 years ago
- A slick numerics-oriented Mathematical library for Java☆18Updated last year
- A stack-based programming language with a lot of symmetry.☆26Updated 8 years ago
- The Closey programming language☆12Updated 3 years ago
- metamath proof enumerators and other things☆93Updated 8 months ago
- An experimental non-deterministic concatenative golfing language☆24Updated last week
- A 2d "programming language" based around triangles☆10Updated last year
- Java implementations of sequences in the OEIS☆61Updated this week
- http://mroman.ch/burlesque☆14Updated 5 years ago
- Halfwit is an experimental golfing language that fits most commands in half a byte.☆13Updated 3 years ago
- A 2-D programming language inspired by Hexagony☆25Updated 3 weeks ago
- A feature-rich, two-dimensional, recreational programming language. With mirrors.☆43Updated 3 years ago
- An esoteric language based on overlapping tree-like structures☆10Updated 3 years ago
- A constructive proof assistant for second order logic.☆34Updated 6 months ago
- A functional programming language, mirroring Erlang and Go, but with more OCaml!☆23Updated 2 months ago
- Animations of lambda term reduction sequences☆114Updated 6 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆32Updated 2 months ago
- A TIO clone☆11Updated 7 months ago
- Pip: an imperative code-golf language☆34Updated last year
- reworking quest, but faster☆11Updated last year
- tool for turning Lean proofs into Blender animations☆61Updated this week
- Fork of Python with some terrible custom features hacked in☆16Updated 2 years ago
- Collection of interpreters for esoteric programming languages☆12Updated 3 years ago
- Functional golfing language inspired by Haskell.☆77Updated 3 years ago
- Metamath program - source code for the Metamath executable☆83Updated 7 months ago
- My esoteric languages☆27Updated 2 years ago
- RPL++ - Stack-based Reverse polish notation Programming Language☆16Updated 3 years ago
- Miscellaneous esoteric programming languages.☆39Updated 2 months ago
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 3 years ago
- Busy Beaver deciders backed by Coq proof☆48Updated 3 weeks ago