coq-bonsai

🌳 Generate a random bonsai in your terminal

Inspired by bonsai.sh. Written in Coq.

opam repo add coq-released https://coq.inria.fr/opam/released

Install:

opam install coq-bonsai

Run:

coq-bonsai

You can add it to your terminal's startup file (like ~/.bashrc) so that you always start your terminal sessions with a fresh bonsai.

Name	Name	Last commit message	Last commit date
Latest commit clarus Use SPDX identifier for the license name Oct 4, 2021 57d7301 · Oct 4, 2021 History 26 Commits
extraction	extraction	Use coq-simple-io for the effects	Oct 3, 2021
src	src	Use coq-simple-io for the effects	Oct 3, 2021
.gitignore	.gitignore	Add initial setup to generate a binary to print Bonsai!	Dec 15, 2019
.travis.yml	.travis.yml	Display a bonsai using a random generator	Dec 23, 2019
LICENSE	LICENSE	Update the license to GPL3 as it is heavily inspired by a GPL3 program	Dec 23, 2019
Make	Make	Fix Coq project name	Dec 23, 2019
README.md	README.md	Add remark on adding it at terminal startup	Oct 3, 2021
configure.sh	configure.sh	Add initial setup to generate a binary to print Bonsai!	Dec 15, 2019
coq-bonsai.install	coq-bonsai.install	Add initial setup to generate a binary to print Bonsai!	Dec 15, 2019
coq-bonsai.opam	coq-bonsai.opam	Use SPDX identifier for the license name	Oct 4, 2021
screenshot.png	screenshot.png	Display some space at the top of the tree	Dec 23, 2019

Provide feedback