anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-14 08:27:03 +03:00
Code Issues Projects Releases Wiki Activity
Juvix empowers developers to write code in a high-level, functional language, compile it to gas-efficient output VM instructions, and formally verify the safety of their contracts prior to deployment and execution.
396 Commits 53 Branches 39 Tags 21 MiB
Haskell 81.8%
Agda 7.4%
Nix 3.7%
Common Lisp 3.5%
Idris 1%
Other 2.5%
743b5b153a
Go to file
Paul Cadman 743b5b153a
Merge pull request #30 from heliaxdev/typecheck-errors 
Output multiple typechecker errors and add source location to error messages
2022-04-04 15:05:55 +01:00
.github/workflows [ CI ] Add Haskell Github Action with Stack test and ormolu check 2022-04-04 15:55:15 +02:00
app [typecheck] Wrap type errors in NonEmpty 2022-04-04 14:59:56 +01:00
assets add integer and string literals 2022-03-15 12:37:33 +01:00
lab v0.1.1 (#15) 2022-03-25 18:16:34 +01:00
minijuvix-mode [minijuvix-mode] add minijuvix-mode and basic description in the readme 2022-04-01 11:15:53 +02:00
minijuvix-stdlib@ad8392f76e [stdlib] update 2022-02-28 18:24:52 +01:00
src/MiniJuvix [concrete] Add HasLoc for LiteralLoc 2022-04-04 14:59:56 +01:00
test [test] Add test for multiple type errors 2022-04-04 14:59:56 +01:00
tests [test] Add test for multiple type errors 2022-04-04 14:59:56 +01:00
.gitignore delete and ignore .ghci 2021-12-28 17:20:36 +01:00
.gitmodules [ CI ] Add Haskell Github Action with Stack test and ormolu check 2022-04-04 15:55:15 +02:00
.hlint.yaml [ Makefile ] fixies for make prepare-push target 2021-12-30 09:56:58 -05:00
CHANGELOG.org v0.1.1 (#15) 2022-03-25 18:16:34 +01:00
hie.yaml [tests] setup basic testing 2022-02-15 14:12:53 +01:00
LICENSE First commit, initial project template. 2021-09-26 18:59:51 +02:00
Makefile [ CI ] Add Haskell Github Action with Stack test and ormolu check 2022-04-04 15:55:15 +02:00
package.yaml fix package.yaml 2022-03-28 09:40:51 +02:00
README.org [ CI ] Add Haskell Github Action with Stack test and ormolu check 2022-04-04 15:55:15 +02:00
stack.yaml [ CI ] Add Haskell Github Action with Stack test and ormolu check 2022-04-04 15:55:15 +02:00

README.org

MiniJuvix

<a href="https://github.com/heliaxdev/minijuvix/blob/main/LICENSE"> <img alt="LICENSE" src="https://img.shields.io/badge/license-GPL--3.0--only-blue.svg" /> </a>

<a href="https://github.com/heliaxdev/MiniJuvix/actions/workflows/ci.yml"> <img alt="CI status" src="https://github.com/heliaxdev/MiniJuvix/actions/workflows/ci.yml/badge.svg" /> </a>

Description

MiniJuvix is a dependently functional programming language for writing efficient formally-verified validity predicates, which can be deployed to various distributed ledgers. This is a 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 decentralised 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 installed Stack.

   $ 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:
  $ stack test

Emacs mode

There is an Emacs mode available for MiniJuvix. Currently, it supports syntax highlighting for well-scoped modules.

To install it add the following lines to your Emacs configuration file:

(push "/path/to/minijuvix/minijuvix-mode/" load-path)
(require 'minijuvix-mode)

Make sure that minijuvix is installed in your PATH.

The MiniJuvix major mode will be activated automatically for .mjuvix files.

Keybindings

Key Function Name Description
C-c C-l minijuvix-load Runs the scoper and adds semantic syntax highlighting

Community

We would love to hear what you think of MiniJuvix! Join us on Discord