Skip to content

hyli-org/devhub-hyli

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Hyli developer hub

This repository contains the source of the Hyli Developer Hub.

You can participate by filing issues or submitting pull requests.

Installation

To run, you need Material for MkDocs.

Follow their installation guide, then install the page plugin:

pip3 install mkdocs-awesome-pages-plugin

And if you run into any issue, install the Material theme for MkDocs:

pip install mkdocs-material

Also install:

pip install mkdocs-video
pip install "mkdocs-material[imaging]"
pip install neoteroi-mkdocs
pip install mkdocs-redirects

Dev mode

This will watch and serve the docs at http://localhost:8000:

make serve

Build & Deployment

make build
make deploy # You need github write access

About

Documentation of Hyli, the new proof-powered L1 to build the next generation of apps.

Resources

Stars

Watchers

Forks

Contributors 7