Type safety checker for Python3
☆24Jan 12, 2021Updated 5 years ago
Alternatives and similar repositories for typesafety
Users that are interested in typesafety are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is a fork of https://github.com/tweag/ormolu.☆13May 20, 2023Updated 3 years ago
- A package exposing a function for generating catamorphisms.☆29Apr 15, 2018Updated 8 years ago
- mccabe code complexity checker plugin for pytest. You might want to switch to pytest-flake8 or tox + flake8 instead.☆11Jul 7, 2026Updated 2 months ago
- sources of weakref Lists☆12Jul 24, 2020Updated 6 years ago
- Example repository demonstrating python3.7 in travis-ci☆12Jan 30, 2019Updated 7 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.
- ☆21May 16, 2024Updated 2 years ago
- Codo notation for programming with comonads in Haskell☆26Jan 24, 2021Updated 5 years ago
- Batch removal of (development) packages from devpi servers☆20Jun 4, 2026Updated 3 months ago
- py.test plugin to check import ordering using isort☆40Apr 12, 2024Updated 2 years ago
- Flycheck syntax checker for hdevtools☆17Nov 6, 2024Updated last year
- An API for virtualenv/pip☆129Jan 2, 2023Updated 3 years ago
- Generates CMSIS-SVD xml files from DTS info and Register templates☆12Apr 4, 2025Updated last year
- OOP Extensions is a set of utilities for object oriented programming which is missing on Python core libraries.☆14Aug 31, 2026Updated 3 weeks ago
- ☆13Dec 6, 2015Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Example server and client implementation showing how Bitcoin based API payments can be done☆13Mar 23, 2016Updated 10 years ago
- A platform for your browser-gaming needs☆15Dec 8, 2022Updated 3 years ago
- Python function signatures package for Python 2.6, 2.7 and 3.2+☆49Nov 28, 2021Updated 4 years ago
- go validation library☆12Jun 7, 2019Updated 7 years ago
- Haskell starter for http://vindinium.org☆22Apr 2, 2017Updated 9 years ago
- A simple factory girl port with a simple database cleaner interface, in Golang.☆12Jan 6, 2014Updated 12 years ago
- Improved Python Traceback Module☆22Dec 18, 2018Updated 7 years ago
- ☆18Aug 9, 2017Updated 9 years ago
- ☆16Aug 12, 2023Updated 3 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.
- Mediates connections between an active-only FTP client (such as ftp.exe) and a server and allow it to transfer data passively.☆10Mar 29, 2018Updated 8 years ago
- multi base encoding/decoding utility☆14Oct 22, 2021Updated 4 years ago
- ☆14Oct 22, 2018Updated 7 years ago
- Tools for fast server operation☆12Dec 8, 2024Updated last year
- Utilities for my print debugging fun. YMMV☆17Jan 25, 2021Updated 5 years ago
- Slides and code sample for a talk about conda and conda-devenv☆11Nov 25, 2017Updated 8 years ago
- Configuration Tree for Python☆14Nov 28, 2023Updated 2 years ago
- A C++ Qt-based utility to assess the OpenGL capabilities of the current platform☆13Jul 26, 2025Updated last year
- Various pentest scripts☆14Mar 17, 2014Updated 12 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Manuel lets you mix and match traditional doctests with custom test syntax.☆19Nov 12, 2024Updated last year
- Solutions, scripting, and templates for adventofcode.com☆23Mar 2, 2024Updated 2 years ago
- Django ClassViews, Forms for mongoengine support☆41Dec 15, 2020Updated 5 years ago
- Ghost Writer outputs the sentence like typewriter☆10Apr 20, 2016Updated 10 years ago
- Go code generator that generates go types that can be used for unmarshaling json into that conforms to the given json schema☆15Feb 20, 2020Updated 6 years ago
- Personal Depersonalization System☆10Jan 30, 2016Updated 10 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆51Jan 12, 2023Updated 3 years ago