https://github.com/xieyuheng/chimera
https://github.com/xieyuheng/chimera
json logic logic-programming programming-language
Last synced: 9 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/xieyuheng/chimera
- Owner: xieyuheng
- License: gpl-3.0
- Created: 2022-09-22T06:43:40.000Z (over 3 years ago)
- Default Branch: master
- Last Pushed: 2025-07-20T06:37:40.000Z (11 months ago)
- Last Synced: 2025-09-21T14:55:43.717Z (9 months ago)
- Topics: json, logic, logic-programming, programming-language
- Language: TypeScript
- Homepage:
- Size: 5.21 MB
- Stars: 71
- Watchers: 2
- Forks: 3
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
- Authors: AUTHORS
Awesome Lists containing this project
README
# Chimera
## Usages
### Command line tool
Install it by the following command:
```sh
npm install -g @xieyuheng/chimera
```
The command-line program is called `chimera`.
```sh
chimera help # Print help message
chimera repl # Open an interactive REPL
chimera run # Run a file
chimera run --watch # Run and watch file change
```
## Development
```sh
npm install # Install dependencies
npm run build # Compile `src/` to `lib/`
npm run build:watch # Watch the compilation
npm run format # Format the code
npm run test # Run test
```
## Thanks
Thank you, [Daniel P. Friedman](https://www.cs.indiana.edu/~dfried), [William E. Byrd](http://webyrd.net), [Oleg Kiselyov](https://okmij.org/ftp/) and [Jason Hemann](https://jasonhemann.github.io/),
for your book ["The Reasoned Schemer"](https://mitpress.mit.edu/9780262535519/the-reasoned-schemer/).
Thank you, [Bharathi Ramana Joshi](https://bharathi.xyz/) and [William E. Byrd](http://webyrd.net),
for writing [a great tutorial](docs/papers/an-annotated-implementation-of-minikanren-with-constraints.pdf) about implementing constraint logic programming.
## License
[GPLv3](LICENSE)