An open API service indexing awesome lists of open source software.

https://github.com/rnbguy/atomkraft-gitpod

Gitpod workspace for Atomkraft
https://github.com/rnbguy/atomkraft-gitpod

Last synced: 4 months ago
JSON representation

Gitpod workspace for Atomkraft

Awesome Lists containing this project

README

          

# atomkraft [![Try on Gitpod](https://img.shields.io/badge/Atomkraft-Try%20on%20Gitpod-FFB45B?logo=gitpod)](https://gitpod.io/#https://github.com/rnbguy/atomkraft-gitpod)

Sets up [`atomkraft`](https://github.com/informalsystems/atomkraft) in a Gitpod workspace.

## Instruction

When the workspace is ready, you may execute the following commands to initialize a project.

```
atomkraft init my_project
cd my_project
```

This will initialize a Poetry project with a boilerplate. Now you can continue to add your code to complete the project.