https://github.com/formal-land/coq-bonsai

🌳 Generate a fresh bonsai in your terminal
https://github.com/formal-land/coq-bonsai

Last synced: about 1 month ago
JSON representation

🌳 Generate a fresh bonsai in your terminal

• Host: GitHub
• URL: https://github.com/formal-land/coq-bonsai
• Owner: formal-land
• License: gpl-3.0
• Created: 2019-12-15T18:44:08.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2021-10-04T10:29:10.000Z (over 3 years ago)
• Last Synced: 2025-03-24T23:11:16.992Z (about 2 months ago)
• Language: Coq
• Homepage:
• Size: 66.4 KB
• Stars: 24
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-terminal-art - bonsai

README

        
# coq-bonsai

> 🌳 Generate a random bonsai in your terminal

![screenshot](https://raw.githubusercontent.com/clarus/coq-bonsai/master/screenshot.png)

Inspired by [bonsai.sh](https://gitlab.com/jallbrit/bonsai.sh). Written in [Coq](https://coq.inria.fr/).

Add the Coq's [opam repository](https://github.com/coq/opam-coq-archive):

```sh

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

```

Install:

```sh

opam install coq-bonsai

```

Run:

```sh

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.