GitHub · Where software is built

8000 GitHub · Where software is built

More Web Proxy on the site http://driver.im/

Array-API interfaces
#25 · jorenham opened on Mar 21, 2024
4

Labels Milestones New issue

add optype to nixpkgs

topic: packaging

#338

· jolars opened

on Jun 11, 2025

setup <code>mypy_primer</code> to avoid breaking downstream libraries

topic: github actions

#315

· jorenham opened

on May 19, 2025

plagiarise <code>useful_types.SequenceNotStr</code>

#306

· jorenham opened

on Mar 28, 2025

an alternative to <code>@runtime_checkable</code> that accepts a user-defined type-guard

typing: runtime

#252

· jorenham opened

on Jan 14, 2025

<code>optype.importlib</code>

#173

· jorenham opened

on Nov 6, 2024

a <code>contextlib</code> alternative

#159

· jorenham opened

on Oct 11, 2024

0