Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.

Simple, elegant, Pythonic functional programming.

Resolution theorem proving for predicate logic in pure Python.

Visualize CPython's specializing, adaptive interpreter. 🔥

Doing dirty (but extremely useful) things with equals.

Atomic low latency job queues running on Postgres

Hypothesis strategies for generating Python programs, something like CSmith

Infer Python types from JSON data, use them for auto serialisation and parsing

Adaptive fuzzing of Hypothesis tests

Architecture decision record (ADR) examples for software planning, IT leadership, and template documentation

A tool (and pre-commit hook) to automatically add trailing commas to calls and literals.

Property-based tests for the Python standard library (and builtins)

Typer, build great CLIs. Easy to code. Based on Python type hints.

Pydantic model and dataclasses.dataclass generator for easy conversion of JSON, OpenAPI, JSON Schema, and YAML data sources.

Backported and experimental type hints for Python

Python implementation of Protocol Buffers with dataclass-based schemaʼs

Smart, pythonic, ad-hoc, typed polymorphism for Python

Make your functions return something meaningful, typed, and safe!

Macros in Python: quasiquotes, case classes, LINQ and more!

Your self-hosted, globally interconnected microblogging community

Optional static typing for Python

Linux, Jenkins, AWS, SRE, Prometheus, Docker, Python, Ansible, Git, Kubernetes, Terraform, OpenStack, SQL, NoSQL, Azure, GCP, DNS, Elastic, Network, Virtualization. DevOps Interview Questions

📚 Modern C++ Tutorial: C++11/14/17/20 On the Fly | https://changkun.de/modern-cpp/