DRMacIver / notebookLinks
☆14Updated last month
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☆138Updated last year
- Is this integer dead or alive?☆45Updated 8 years ago
- Combine contracts and automatic testing.☆85Updated 3 years ago
- Python typing koans to learn type-hints in Python3 using Mypy☆119Updated 3 years ago
- Python class for reading and writing data to a GitHub repository☆18Updated 4 years ago
- Hypothesis strategies for generating Python programs, something like CSmith☆106Updated last year
- Python library to work with algebraic effects☆80Updated 4 years ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Rust-like macros in Python by abusing type annotations☆63Updated 6 years ago
- Read Watches in Python☆41Updated last year
- Pomodoro timer that acknowledges the inexorable, infinite passage of time☆232Updated last week
- a meditation protocol☆54Updated 3 months ago
- tool for creating and sharing annotations, using github for storage and social network☆91Updated 3 years ago
- Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.☆250Updated last week
- 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 7 months ago
- My fun solutions to common interview problems☆90Updated 3 months ago
- Sum Types, aka Tagged Unions, for Python☆44Updated 3 years ago
- ⚱️ Lightweight, self-contained templating for Python 2 and 3, a la Dust templates☆56Updated 5 months ago
- Repository for my Hypothesis training course☆10Updated 8 years ago
- Squiggle programming language for intuitive probabilistic estimation features in Python☆78Updated 5 months ago
- Proposed documentation for alloytools.org☆71Updated 2 weeks ago
- ☆17Updated 4 years ago
- A math language for dimensional analysis☆23Updated 2 years ago
- A command-line search utility for Python ASTs using XPath syntax.☆253Updated 3 years ago
- A python lens library for manipulating deeply nested immutable structures☆326Updated last year
- A repository of past PyCon proposals, both accepted and rejected☆95Updated 5 years ago
- Custom Python linting through AST expressions☆276Updated 2 years ago
- 🗿 Straightforward CLI parsing and dispatching microframework☆21Updated 10 months ago
- Web interface for searching your code using ripgrep, built as a Datasette plugin☆77Updated last year
- The easiest way to parse text in Python☆110Updated 2 months ago