9 results found Sort:

jfecher
ante jfecher
84
2.0k
mit
30
A safe, easy systems language
ante llvm compiler language refinement-types systems-language
Created 2015-08-11
371 commits to master branch, last one 10 days ago
fthomas
refined fthomas
153
1.7k
mit
23
Refinement types for Scala
scala typelevel refinement-types
Created 2015-05-10
3,383 commits to master branch, last one 6 days ago
ucsd-progsys
liquidhaskell ucsd-progsys
145
1.2k
bsd-3-clause
29
Liquid Types For Haskell
smt haskell verification refinement-types
Created 2012-09-22
13,113 commits to develop branch, last one a day ago
life4
deal life4
29
778
mit
13
🤝 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,295 commits to master branch, last one 21 days ago
flux-rs
flux flux-rs
23
705
mit
10
Refinement Types for Rust
rust refinement-types
Created 2021-02-18
1,512 commits to main branch, last one 4 days ago
Iltotore
iron Iltotore
47
483
apache-2.0
14
Strong type constraints for Scala
scala types assert refinement-types functional-programming
Created 2021-01-13
260 commits to main branch, last one 14 hours ago
antonagestam
phantom-types antonagestam
9
211
bsd-3-clause
3
Phantom types for Python.
mypy python typing python3 refined validation phantom-types refined-types static-typing static-analysis refinement-types
Created 2020-02-07
247 commits to main branch, last one about a month ago
andrew-johnson-4
LSTS andrew-johnson-4
3
120
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 2 months ago
tomoikey
refined_type tomoikey
1
73
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 3 months ago