klausweiss/typing-protocol-intersection klausweiss/typing-protocol-intersection

  • Stars
    star
    20
  • Rank 1,121,974 (Top 23 %)
  • Language
    Python
  • License
    MIT License
  • Created over 2 years ago
  • Updated about 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
klausweiss/typing-protocol-intersection
github

klausweiss

Reviews

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

Repository Details

Protocols intersection for mypy

More Repositories

1

bolek

⌨️ 15mm high ergonomic travel keyboard. 36 keys, pro micro-based, designed for Kailh Chocs.
5
star
2

agh-git

git server for your university account with a web client
Shell
5
star
3

dotfiles

Vim Script
3
star
4

online-chess-enhancement-suite

♟️ A browser extension that allows playing online chess with keyboard ⌨️ + mouse 🖱️. Ideal for those who need speed and precision.
PureScript
3
star
5

todo.txt-hiding

A todo.txt plugin to display a list of tasks hiding ones from specific context/project (containg specified keywords)
Shell
1
star
6

linotes

Terminal application for taking notes
Haskell
1
star
7

ez-awesome

Lua library to simplify awesomewm configuration
Lua
1
star
8

lumix-upnp-dump

📷 Dump media from Lumix cameras on the network
Python
1
star