Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
.github		.github
docs		docs
packages/pravda-semantic		packages/pravda-semantic
pravda		pravda
tests		tests
.editorconfig		.editorconfig
.gitignore		.gitignore
.readthedocs.yml		.readthedocs.yml
CHANGELOG.md		CHANGELOG.md
CONTRIBUTING.md		CONTRIBUTING.md
LICENSE		LICENSE
Makefile		Makefile
README.md		README.md
poetry.lock		poetry.lock
pyproject.toml		pyproject.toml
setup.cfg		setup.cfg

Repository files navigation

pravda

Python type-checker written in Rust.