json-schema: https://github.com/xieyuheng/x-json

dependent-record-types dependent-type-theory dependent-types json json-schema

Score: -Infinity

Last synced: about 16 hours ago
JSON representation

Repository metadata:

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 (almost 3 years ago)
• Default Branch: master
• Last Pushed: 2025-07-20T06:32:46.000Z (7 months ago)
• Last Synced: 2026-01-21T06:39:47.323Z (16 days ago)
• Topics: dependent-record-types, dependent-type-theory, dependent-types, json, json-schema
• Language: TypeScript
• Homepage:
• Size: 59.6 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE
  • Authors: AUTHORS

---

Owner metadata:

• Name: 谢宇恒 / Xie Yuheng
• Login: xieyuheng
• Email:
• Kind: user
• Description: 我们对一个物体所形成的概念，就是在我们所关心的情况下，这个物体的具有实际影响的效果的总和。
• Website: https://xieyuheng.com
• Location: China
• Twitter:
• Company:
• Icon url: https://avatars.githubusercontent.com/u/4354888?u=2c6050894f0ae5b6ab0e9da35ffffe42aadc2477&v=4
• Repositories: 158
• Last Synced at: 2024-12-08T07:41:42.889Z
• Profile URL: https://github.com/xieyuheng

---

GitHub Events

Total

• Total: 0

Last Year

• Total: 0

---

Committers metadata

Last synced: 2 days ago

Name	Email	Commits
Xie Yuheng	x****e@g****m	12

---

Issue and Pull Request metadata

Last synced: 5 months ago

More stats: https://issues.ecosyste.ms/repositories/lookup?url=https://github.com/xieyuheng/x-json

---

---

---

Package metadata

• Total packages: 1
• Total downloads:
  • npm: 2 last-month
• Total dependent packages: 0
• Total dependent repositories: 0
• Total versions: 1
• Total maintainers: 1

---

Dependencies