vm of cicada-language in coffeescript
published version 0.0.3, 9 years agowasm core runs in web browser, with rich UI for theorem proving
published version 0.1.0, 7 years ago- published version 0.0.1, 6 years ago
logic-db is a js lib to combine logic programming and database
published version 0.0.1, 6 years ago- published version 0.0.1, 6 years ago
- [wikipedia page about cell complex](https://en.wikipedia.org/wiki/cell_complex)
published version 0.0.3, 6 years ago[ [HOMEPAGE](https://cicada-lang.org) | [PLAY](https://cicada-lang.org/playground) ]
published version 0.8.25, 8 months ago