https://github.com/xieyuheng/x-json
A dependently typed programming language embedded in JSON, that can be used as a schema checker for JSON data.
https://github.com/xieyuheng/x-json
dependent-record-types dependent-type-theory dependent-types json json-schema
Last synced: about 2 months ago
JSON representation
A dependently typed programming language embedded in JSON, that can be used as a schema checker for JSON data.
- Host: GitHub
- URL: https://github.com/xieyuheng/x-json
- Owner: xieyuheng
- License: gpl-3.0
- Created: 2023-04-11T00:18:52.000Z (about 3 years ago)
- Default Branch: master
- Last Pushed: 2025-07-20T06:32:46.000Z (11 months ago)
- Last Synced: 2025-07-25T06:31:57.621Z (11 months ago)
- Topics: dependent-record-types, dependent-type-theory, dependent-types, json, json-schema
- Language: TypeScript
- Homepage:
- Size: 59.6 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
- Code of conduct: CODE-OF-CONDUCT.md
Awesome Lists containing this project
README
# X-JSON
A dependently typed programming language embedded in JSON,
that can be used as a schema checker for JSON data.
The syntax is optimized for _the most used use cases_.
Instead of writing (like in [json-schema](https://json-schema.org/understanding-json-schema/index.html)):
```json
{
"type": "object",
"properties": {
"year": { "type": "number" },
"name": { "type": "string" }
}
}
```
I want to write:
```json
{
"name": "string",
"year": "number"
}
```
## Install
```bash
npm i @xieyuheng/x-json
```
## License
[GPLv3](LICENSE)