dogweather/python-exhaustiveness-adts-monads dogweather/python-exhaustiveness-adts-monads

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Python
  • Created about 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dogweather/python-exhaustiveness-adts-monads
github

dogweather

Reviews

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

Repository Details

Demo code showing off the new true exhaustiveness checks with Python 3.10 + Pyright

More Repositories

1

asset_ram

Reduce Rails allocations by 35%+ and gain a speed boost. Memoizes asset links.
Ruby
177
star
2

phoenix-docker-compose

Docker development environment for Elixir+Phoenix
Shell
155
star
3

naturally

Natural sort algorithm
Ruby
86
star
4

rspec-webservice_matchers

Black-box web app testing
Ruby
79
star
5

repo-health-check

Analyze a project: How are the maintainers doing?
CoffeeScript
75
star
6

validated_object

Self-validating Ruby objects
Ruby
60
star
7

schema-dot-org

Easy structured data for websites. All validated for syntax and semantics. Simple declarative-style coding.
Ruby
54
star
8

rails-docker-compose

Docker development environment for Ruby on Rails
Shell
51
star
9

raspberry-pi-python-github-runner

Sample configuration for using Raspberry Pi's as Python Github Runners
Python
21
star
10

non_empty_array

An ordered list guaranteed to have at least one element
Ruby
21
star
11

digbang

Safer Ruby hash and array traversal
Ruby
9
star
12

yahboom-raspi-cooling-fan

Code and help for the Yahboom Raspberry Pi Cooling Fan with RGB and OLED display
Python
9
star
13

forkful

An open-content programming cookbook. A responsible use of AI proof of concept. Collaborative, polyglot and multilingual.
Ruby
9
star
14

language-comparison

A GraphQL server prototyped in many languages
Python
5
star
15

ketobit

Fitbit carb tracking
Elixir
5
star
16

mctop

Python CLI Memcached monitor
Python
4
star
17

Super-Cat-City-Alerts

A city alert notification system
Ruby
3
star
18

safe-to-upgrade

2
star
19

stable_profile

Run rspec --profile several times, averaging the results.
Ruby
2
star
20

HTTP-Assertions

Check web server configurations via Ruby test cases.
Ruby
1
star
21

seed-report

Simple reporting for Ruby on Rails seed files
Ruby
1
star
22

javafind

Unix find implemented in Java. Vintage code from 2004
HTML
1
star
23

beginning-programming-with-python

Jupyter Notebook
1
star
24

victor-hugo

JavaScript
1
star
25

python-enum-import-issue

Python Enums aren't singletonsโ€”demo
Python
1
star
26

curl_ex

Simple Elixir HTTP using curl
Elixir
1
star