xieyuheng

xieyuheng

cicada nymph -- the vm of cicada language

jojo-in-js

threaded code support in js

cicada-vm-in-js

vm of cicada-language

cicada-js-lib

cicada js lib

sad-coffee

a sad library

cicada-vm-in-coffee

vm of cicada-language in coffeescript

spring-and-autumn

a note taking app

recursive-combinator

recursive-combinator

cicada-notebook

wasm core runs in web browser, with rich UI for theorem proving

cicada-wasm

cicada wasm interface

logic-db

Embedding a Prolog-like logic programming language in JavasScript and TypeScript.

logic-db-docs

logic-db is a js lib to combine logic programming and database

cicadas

cicadas

@xieyuheng/cg

a combinatorial game engine

@xieyuheng/cx

- [wikipedia page about cell complex](https://en.wikipedia.org/wiki/cell_complex)

combinatorial-game

a combinatorial game engine

cell-complex

## Aims

motion-picture

## Docs

cicada-lang

Welcome **\*^-^\*/**

@cicada-lang/cicada

[ [HOMEPAGE](https://cicada-lang.org) | [MANUAL](https://readonly.link/manuals/cicada-lang/cicada) | [PLAY](https://cicada-lang.org/playground) | [ABOUT](https://cicada-lang.org/about) ]

xyheme

```sh npm install npm run watch ```