Announcement: Ika has been merged into my other language project Tako.
I haven't given up on learning about programming languages, I just like implementing in Rust better than C++ at the moment.
An experimental programming language for ergonomic software verification using Hoare Logic.
These instructions will get you a copy of the project up and running on your local machine for development and testing purposes. See deployment for notes on how to deploy the project on a live system.
Ika currently uses cargo
for builds and running tests and git submodules for dependency management.
Installation instructions can be found at https://rustup.rs/ Non-rust dependencies can be installed via
git submodule update --init --recursive
Building requires a single step,
cargo build
This allows us to run our prototype parser.
./target/debug/ika <file>
Running the tests should also be fairly simple, but relies on some dependencies which we will fetch using git.
cargo test
ika is a standalone single file. It can be installed simply by building and copy/moving ./ika into your /usr/bin directory.
Please read CONTRIBUTING.md for details on our code of conduct, and the process for submitting pull requests to us.
We will use SemVer for versioning. There are no versions currently available, but see the tags on this repository.
- Joshua Pratt - Initial work - Cypher1
See also the list of contributors who participated in this project.
This project is licensed under the MIT License - see the LICENSE.md file for details
- Billie Thompson - Readme Templates - PurpleBooth
- Chris Hall - Design advice and instruction in programming language theory - Chrisosaurus
- Iterait - Opensourced a CircleCI config that uses std=C++17 - Hipipe