| .github/workflows | ||
| app | ||
| assets | ||
| docs | ||
| examples/milestone/ValidityPredicates | ||
| minijuvix-mode | ||
| minijuvix-stdlib@ad8392f76e | ||
| notes | ||
| src/MiniJuvix | ||
| test | ||
| tests | ||
| .github_changelog_generator | ||
| .gitignore | ||
| .gitmodules | ||
| .hlint.yaml | ||
| .pre-commit-config.yaml | ||
| .pre-commit-hooks.yaml | ||
| CHANGELOG.org | ||
| hie.yaml | ||
| LICENSE | ||
| Makefile | ||
| package.yaml | ||
| README.org | ||
| stack.yaml | ||
MiniJuvix
<a href="https://github.com/heliaxdev/minijuvix/blob/main/LICENSE">
<img alt="LICENSE" src="
" />
</a>
<a href="https://github.com/heliaxdev/MiniJuvix/actions/workflows/ci.yml">
<img alt="CI status" src="
" />
</a>
<a href="https://github.com/heliaxdev/minijuvix/tags"> <img alt="" src="https://img.shields.io/github/v/release/heliaxdev/minijuvix?include_prereleases" /> </a>
Description
MiniJuvix is a programming language for writing efficient formally-verified validity predicates, which can be deployed to various distributed ledgers. This is software released for experimentation and research purposes only. No warranty is provided or implied.
MiniJuvix addresses many issues that we have experienced while trying to write and deploy decentralized applications present in the ecosystem of smart-contracts:
- the difficulty of adequate program verification,
- the ceiling of compositional complexity,
- the illegibility of execution costs, and
- the lock-in to particular backends.
Quick Start
To install MiniJuvix, you can download its sources using Git from the Github repository. Then, the program can be downloaded and installed with the following commands. You will need to have Stack installed.
git clone https://github.com/heliaxdev/minijuvix.git
cd minijuvix
stack install
If the installation succeeds, you must be able to run the minijuvix
command from any location. To get the complete list of commands, please
run minijuvix --help.
- To test everything works correctly, you can run the following command. You will need to have emscripten and wasmer installed.
stack testUsage Example
In the following example a MiniJuvix file is compiled using the C backend. The result is compiled to WASM using emscripten and then executed using wasmer.
cd tests/positive/MiniC/HelloWorld
minijuvix minic Input.mjuvix | emcc -x c - -o out.wasm && wasmer out.wasmhello world!
Other Documentation
Community
We would love to hear what you think of MiniJuvix! Join us on Discord