life4/deal-solver

Stars
7
Rank 2,284,291 (Top 46 %)
Language
Python
License
MIT License
Created over 3 years ago
Updated about 2 years ago

life4/deal-solver

life4

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

z3-powered solver (theorem prover) for deal

textdistance

📐 Compute distance between sequences. 30+ algorithms, pure python implementation, common interface, optional external libs usage.

deal

🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

enc

🔑🔒 A modern and friendly CLI alternative to GnuPG: generate and download keys, encrypt, decrypt, and sign text and files, and more.

genesis

All generic functions for Go you ever need!

awesome-python-code-formatters

A curated list of awesome Python code formatters

textdistance.rs

🦀📏 Rust library to compare strings (or any sequences). 25+ algorithms, pure Rust, common interface, Unicode support.

flakehell

Flake8 wrapper to make it nice, legacy-friendly, configurable.

gweb

🌐 Interact with browser from Go. Manually crafted WebAPI interoperation library.

homoglyphs

Homoglyphs: get similar letters, convert to ASCII, detect possible languages and UTF-8 group.

chameleon

Turn repo with markdown files into a nice looking blog

pythonetc

Posts about Python stdlib, syntax, and internals

logit

CLI tool to handle JSON logs

awesome-go-code-formatters

A curated list of Go code formatters (like gofmt)

vaa

Validators Adapter. The common interface for all Python validators.