DRMacIver / notebookLinks
☆14Updated 3 months ago
Alternatives and similar repositories for notebook
Users that are interested in notebook are comparing it to the libraries listed below
Sorting:
- A very minimal implementation of the core idea of Hypothesis☆143Updated last year
- Is this integer dead or alive?☆45Updated 8 years ago
- Sum Types, aka Tagged Unions, for Python☆44Updated 4 years ago
- Hypothesis strategies for generating Python programs, something like CSmith☆110Updated last year
- Python typing koans to learn type-hints in Python3 using Mypy☆119Updated 4 years ago
- Python library to work with algebraic effects☆80Updated 5 years ago
- Combine contracts and automatic testing.☆86Updated 3 years ago
- Custom Python linting through AST expressions☆278Updated 2 years ago
- ☆86Updated 8 months ago
- A math language for dimensional analysis☆23Updated 2 years ago
- Pomodoro timer that acknowledges the inexorable, infinite passage of time☆239Updated this week
- A namedtuple-style library for defining immutable sum types in Python.☆27Updated 4 years ago
- A hack that allows you to use different versions of the same library in the same Python process without clashes☆89Updated 14 years ago
- My personal site☆137Updated 3 months ago
- My fun solutions to common interview problems☆91Updated 8 months ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆270Updated this week
- Python variant types that work with match☆54Updated last year
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Rust-like macros in Python by abusing type annotations☆63Updated 6 years ago
- effect isolation in Python, to facilitate more purely functional code☆384Updated 3 years ago
- A backend for the `keyring` module which uses a hardware token to require user presence for any secret access, by encrypting your vault a…☆41Updated 11 months ago
- Proposed documentation for alloytools.org☆71Updated 5 months ago
- Transparent and persistent cache/serialization powered by type hints☆231Updated last month
- The easiest way to parse text in Python☆110Updated 3 months ago
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 4 years ago
- Functional, composable, asynchronous, type-safe Python.☆155Updated 2 years ago
- A list of Python type checkers (PEP 484 compliant and not, static and runtime/dynamic)☆71Updated 2 months ago
- A command-line search utility for Python ASTs using XPath syntax.☆255Updated 3 years ago
- ⚱️ Lightweight, self-contained templating for Python 2 and 3, a la Dust templates☆57Updated 9 months ago
- Python implementation of the Rust `dbg` macro☆89Updated 5 years ago