sloboegen
Follow
Stars
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. 🔥
Automate code & data workflows with interactive Elixir notebooks
Doing dirty (but extremely useful) things with equals.
check code for common misspellings
Hypermodern Python Cookiecutter
Atomic low latency job queues running on Postgres
A Python library for creating Github-style badges
ChatterBot is a machine learning, conversational dialog engine for creating chat bots
PostgreSQL-based Task Queue for Python
Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.
Hypothesis strategies for generating Python programs, something like CSmith
Effects-based direct-style IO for multicore OCaml
Infer Python types from JSON data, use them for auto serialisation and parsing
A collection of resources for learning type theory and type theory adjacent fields.
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.
A listing of compiler, language and runtime teams for people looking for jobs in this area
Advanced Python Mastery (course by @dabeaz)
Flake8 plugin for managing type-checking imports & forward references.
An analysis tool for Python that blurs the line between testing and type systems.