4 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer Last Updated
python-beartype 0.18.5-1 1 0.12 Unbearably fast near-real-time hybrid runtime-static type-checking in pure Python carsme 2024-04-21 19:50 (UTC)
pyre-check-bin 0.9.16-1 2 0.00 Performant type-checking for Python m-pilia 2022-10-30 16:23 (UTC)
ocaml-psmt2-frontend-git r22.bb35b53-1 0 0.00 A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language orphan 2020-05-18 19:29 (UTC)
ocaml-psmt2-frontend 0.2-2 0 0.00 A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language orphan 2019-11-30 18:52 (UTC)

4 packages found. Page 1 of 1.