Types that make coding in Python quick and safe.
☆23Oct 21, 2019Updated 6 years ago
Alternatives and similar repositories for typet
Users that are interested in typet are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple pytest plugin for pinning tests☆10Feb 9, 2023Updated 3 years ago
- Web framework for big complicated applications based on aiohttp☆11Jun 30, 2018Updated 8 years ago
- Learning platform for category theory in python☆17Updated this week
- Token authentication middleware for go-json-rest☆17Aug 2, 2016Updated 10 years ago
- Jack of all trades - a cli builder for REST APIs and task automation☆13Jun 1, 2020Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Parser of git repo urls for Rust☆23Nov 24, 2025Updated 9 months ago
- A template project which assists to quick start APP. 帮助你快速启动的模版项目☆10Jan 11, 2020Updated 6 years ago
- A script to help creating and maintaining frozen requirements for pip☆17Apr 7, 2021Updated 5 years ago
- Beancount REST Api☆12May 21, 2020Updated 6 years ago
- Игрушечный, но душный репозиторий около Memory Models☆22Aug 5, 2026Updated last month
- Install multiple Python versions locally☆18Mar 19, 2014Updated 12 years ago
- A django application that uses a distributed method (celery) for collecting measurements.☆17Jan 12, 2010Updated 16 years ago
- UNSUPPORTED Mirror of django-rcsfield svn repository☆15Mar 12, 2009Updated 17 years ago
- Context manager to maintain your temporary directories/files.☆17Jan 23, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 对tornado源码进行注释☆10Aug 15, 2016Updated 10 years ago
- A Makefile that contains the seed of a python development environment.☆14Apr 21, 2020Updated 6 years ago
- a script for managing vendor libraries☆15May 26, 2011Updated 15 years ago
- playground for creating new statement and constructs in python using import hooks☆15Apr 1, 2024Updated 2 years ago
- A Django application which provides tools for out-of-band capture of arbitrary tracking data.☆15Jun 29, 2011Updated 15 years ago
- PlantUML native image with GraalVM☆12Jun 16, 2026Updated 3 months ago
- ☆26Jul 1, 2026Updated 2 months ago
- Walk paths and run things☆18Jul 22, 2024Updated 2 years ago
- Re-apply type annotations from .pyi stubs to your codebase.☆145Aug 14, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Python type hints are Turing complete.☆33Nov 24, 2022Updated 3 years ago
- Kubernetes mutating admission webhook to automatically annotate pods☆13Jan 7, 2019Updated 7 years ago
- Django Template for Erlang☆16May 23, 2010Updated 16 years ago
- Proof-of-concept `record` type for Python☆32Jun 2, 2026Updated 3 months ago
- Git subcommands to help with your workflow☆25Jun 24, 2025Updated last year
- per object permissions for Django☆17May 3, 2012Updated 14 years ago
- Adaptive fuzzing of Hypothesis tests☆124May 15, 2026Updated 4 months ago
- Initialize modules of your Python projects on startup. Discover Flask blueprints, FastAPI endpoints, SQLAlchemy models, etc.☆13May 26, 2022Updated 4 years ago
- A catalog of error codes for flake8 Python static analysis tool & a few of its plugins.☆11Oct 6, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Tutorial on transforming a complex, linear Python script into a modular, easier-to-maintain application.☆43Mar 8, 2019Updated 7 years ago
- A toolkit for queueing tasks and creating worker processes☆20Nov 21, 2008Updated 17 years ago
- 一个监控服务器是否在线的bot☆14Apr 25, 2022Updated 4 years ago
- ☆28Jan 2, 2015Updated 11 years ago
- ☔ AirNope keeps Telegram groups clean from ”airdrop” spam☆22Jun 12, 2026Updated 3 months ago
- A simple and efficient tracker for user action☆20Nov 16, 2010Updated 15 years ago
- Translate Python code to Rocq code for formal verification. Applied to the reference implementation of the Ethereum VM in Python (WIP, in…☆47Mar 29, 2026Updated 5 months ago