Merge pull request #1602 from yutkat/dev

Add
This commit is contained in:
Yuta Katayama 2024-08-08 10:46:40 +09:00 committed by GitHub
commit 9af76b3ab0
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -37,6 +37,7 @@
+ [Wasm](#wasm)
+ [WebC](#webc)
+ [Cairo](#cairo)
- [Test](#test)
+ [Promela](#promela)
+ [Agda](#agda)
+ [Monkey](#monkey)
@ -254,6 +255,10 @@
- [racso2609/cairo-support-nvim](https://github.com/racso2609/cairo-support-nvim) ![](https://img.shields.io/github/stars/racso2609/cairo-support-nvim) ![](https://img.shields.io/github/last-commit/racso2609/cairo-support-nvim) ![](https://img.shields.io/github/commit-activity/y/racso2609/cairo-support-nvim)
#### Test
- [maxandron/neotest-cairo](https://github.com/maxandron/neotest-cairo) ![](https://img.shields.io/github/stars/maxandron/neotest-cairo) ![](https://img.shields.io/github/last-commit/maxandron/neotest-cairo) ![](https://img.shields.io/github/commit-activity/y/maxandron/neotest-cairo)
### Promela
- [sebostien/spin.nvim](https://github.com/sebostien/spin.nvim) ![](https://img.shields.io/github/stars/sebostien/spin.nvim) ![](https://img.shields.io/github/last-commit/sebostien/spin.nvim) ![](https://img.shields.io/github/commit-activity/y/sebostien/spin.nvim)