9 results found Sort:

jfecher
ante jfecher
83
1.9k
mit
31
A safe, easy systems language
ante llvm compiler language refinement-types systems-language
Created 2015-08-11
363 commits to master branch, last one 9 days ago
fthomas
refined fthomas
154
1.7k
mit
23
Refinement types for Scala
scala typelevel refinement-types
Created 2015-05-10
3,357 commits to master branch, last one 5 days ago
ucsd-progsys
liquidhaskell ucsd-progsys
139
1.2k
bsd-3-clause
30
Liquid Types For Haskell
smt haskell verification refinement-types
Created 2012-09-22
13,012 commits to develop branch, last one 2 days ago
life4
deal life4
26
768
mit
14
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
dbc deal mypy flake8 linter python typing testing pythonic contracts interface invariant decorators validation hacktoberfest refinement-types design-by-contract contracts-programming functional-programming property-based-testing
Created 2018-01-25
1,279 commits to master branch, last one 2 months ago
flux-rs
flux flux-rs
23
685
mit
12
Refinement Types for Rust
rust refinement-types
Created 2021-02-18
1,463 commits to main branch, last one 13 hours ago
Iltotore
iron Iltotore
46
481
apache-2.0
15
Strong type constraints for Scala
scala types assert refinement-types functional-programming
Created 2021-01-13
245 commits to main branch, last one about a month ago
antonagestam
phantom-types antonagestam
9
207
bsd-3-clause
4
Phantom types for Python.
mypy python typing python3 refined validation phantom-types refined-types static-typing static-analysis refinement-types
Created 2020-02-07
246 commits to main branch, last one 5 days ago
andrew-johnson-4
LSTS andrew-johnson-4
3
117
mit
3
Large Scale Type Systems (programming language)
ast lint lsts rust lexer parser compiler type-checking theorem-prover category-theory dependent-types error-reporting lambda-calculus proof-assistant refinement-types assisted-reasoning programming-language lambda-calculus-interpreter
Created 2021-09-10
1,446 commits to main branch, last one 8 days ago
tomoikey
refined_type tomoikey
1
72
mit
1
`refined_type` is a library that facilitates type composition, enabling the simple description of efficient validation processes and high runtime safety.
rust crate safety library crates-io rust-lang validation type-library refined-types static-typing refinement-types runtime-validation
Created 2023-11-11
368 commits to main branch, last one 2 months ago