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: 5 days 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 (over 1 year ago)
• Default Branch: master
• Last Pushed: 2023-09-09T23:01:50.000Z (over 1 year ago)
• Last Synced: 2024-12-08T07:42:57.072Z (14 days ago)
• Topics: dependent-record-types, dependent-type-theory, dependent-types, json, json-schema
• Language: TypeScript
• Homepage:
• Size: 70.3 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

```

## Contributions

To make a contribution, fork this project and create a pull request.

Please read the [STYLE-GUIDE.md](STYLE-GUIDE.md) before you change the code.

Remember to add yourself to [AUTHORS](AUTHORS).

Your line belongs to you, you can write a little

introduction to yourself but not too long.

## License

[GPLv3](LICENSE)