9 results found Sort:

84
1.9k
mit
31
A safe, easy systems language
Created 2015-08-11
366 commits to master branch, last one 2 days ago
153
1.7k
mit
23
Refinement types for Scala
Created 2015-05-10
3,361 commits to master branch, last one a day ago
140
1.2k
bsd-3-clause
28
Liquid Types For Haskell
Created 2012-09-22
13,047 commits to develop branch, last one 4 days ago
26
770
mit
14
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
Created 2018-01-25
1,279 commits to master branch, last one 3 months ago
23
687
mit
11
Refinement Types for Rust
Created 2021-02-18
1,474 commits to main branch, last one 3 days ago
47
483
apache-2.0
15
Strong type constraints for Scala
Created 2021-01-13
249 commits to main branch, last one 2 days ago
9
210
bsd-3-clause
4
Phantom types for Python.
Created 2020-02-07
247 commits to main branch, last one 16 days ago
`refined_type` is a library that facilitates type composition, enabling the simple description of efficient validation processes and high runtime safety.
Created 2023-11-11
368 commits to main branch, last one 2 months ago