Skip to content

A dependently typed programming language embedded in JSON, that can be used as a schema checker for JSON data.

License

Notifications You must be signed in to change notification settings

xieyuheng/x-json

Repository files navigation

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):

{
  "type": "object",
  "properties": {
    "year": { "type": "number" },
    "name": { "type": "string" }
  }
}

I want to write:

{
  "name": "string",
  "year": "number"
}

Install

npm i @xieyuheng/x-json

Contributions

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

Please read the STYLE-GUIDE.md before you change the code.

Remember to add yourself to AUTHORS. Your line belongs to you, you can write a little introduction to yourself but not too long.

License

GPLv3

About

A dependently typed programming language embedded in JSON, that can be used as a schema checker for JSON data.

Topics

Resources

License

Code of conduct

Stars

Watchers

Forks

Releases

No releases published