2 results found Sort:

pschanely
CrossHair pschanely
50
1.0k
other
14
An analysis tool for Python that blurs the line between testing and type systems.
z3 python fuzzing testing contracts type-systems hacktoberfest static-analysis dynamic-analysis testing-framework concolic-execution symbolic-execution
Created 2017-08-29
1,970 commits to main branch, last one 5 days ago
andreypopp
type-systems andreypopp
2
47
unknown
4
Playing with type systems
ocaml typeclasses type-systems hindley-milner type-inference
Created 2021-10-15
29 commits to main branch, last one 3 years ago