kaprino is a new programming language which lies great emphasis on the correctness of the result of programs.
It is recommended for people who want to do some mathematical stuffs strictly on your computer machine.
Also, its syntax is as close to mathematics as possible. It's because I would like to see it used by not only people who are familiar with programming but also those who are new to programming!
It is only recently that kaprino has launched, so it lacks some features yet. I would be appreciate it if you contribute to this project no matter how it is small.
We moved a language for developing kaprino from C++ to Rust in the view of maintainability.
However, kaprino written by Rust haven't been stable yet, so if you want to access stable kaprino, written by C++, please refer to cpp-HEAD branch in this repository.
There are three ways available.
Download achievements from Release Page and put the directory path into PATH.
Here is the table of available environments.
| OS | Available | Status |
|---|---|---|
| Linux x64 | ✔️ |  |
| Windows x64 | ✔️ |  |
| MacOS x64 | ✔️ |  |
In preparation.
You can use a docker image which is already installed kaprino.
docker run --rm -it kaprino/kaprino:latest
- Clang (>=9.0.1)
kaprino is under MIT license.