9 results found Sort:

jfecher
ante jfecher
84
2.0k
mit
31
A safe, easy systems language
ante llvm compiler language refinement-types systems-language
Created 2015-08-11
402 commits to master branch, last one 3 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 about a month ago
ucsd-progsys
liquidhaskell ucsd-progsys
146
1.2k
bsd-3-clause
29
Liquid Types For Haskell
smt haskell verification refinement-types
Created 2012-09-22
13,119 commits to develop branch, last one 24 days ago
life4
deal life4
29
788
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 about a month ago
flux-rs
flux flux-rs
23
722
mit
11
Refinement Types for Rust
rust refinement-types
Created 2021-02-18
1,549 commits to main branch, last one 7 hours ago
Iltotore
iron Iltotore
54
506
apache-2.0
13
Strong type constraints for Scala
scala types assert refinement-types functional-programming
Created 2021-01-13
264 commits to main branch, last one 15 days ago
antonagestam
phantom-types antonagestam
9
213
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 2 months ago
andrew-johnson-4
LSTS andrew-johnson-4
3
121
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 3 months ago
tomoikey
refined_type tomoikey
1
74
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 4 months ago