9 results found Sort:
- Filter by Primary Language:
- Rust (3)
- Python (2)
- Scala (2)
- Haskell (1)
- +
A safe, easy systems language
Created
2015-08-11
366 commits to master branch, last one 2 days ago
Refinement types for Scala
Created
2015-05-10
3,361 commits to master branch, last one a day ago
Liquid Types For Haskell
Created
2012-09-22
13,047 commits to develop branch, last one 4 days ago
🤝 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
Refinement Types for Rust
Created
2021-02-18
1,474 commits to main branch, last one 3 days ago
Strong type constraints for Scala
Created
2021-01-13
249 commits to main branch, last one 2 days ago
Phantom types for Python.
Created
2020-02-07
247 commits to main branch, last one 16 days ago
Large Scale Type Systems (programming language)
Created
2021-09-10
1,446 commits to main branch, last one 27 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