https://github.com/wearereasonablepeople/typisch

Set-theory based runtime type system
https://github.com/wearereasonablepeople/typisch

set-theory type-checking types validation

Last synced: 2 months ago
JSON representation

Set-theory based runtime type system

• Host: GitHub
• URL: https://github.com/wearereasonablepeople/typisch
• Owner: wearereasonablepeople
• Created: 2018-12-06T14:43:31.000Z (over 7 years ago)
• Default Branch: master
• Last Pushed: 2019-10-02T10:59:06.000Z (over 6 years ago)
• Last Synced: 2025-09-28T10:39:47.949Z (6 months ago)
• Topics: set-theory, type-checking, types, validation
• Size: 13.7 KB
• Stars: 3
• Watchers: 13
• Forks: 0
• Open Issues: 7
• Metadata Files:
  • Readme: README.md
  • Codeowners: .github/CODEOWNERS

Awesome Lists containing this project

README

          
# Typisch