Lists (8)
coursework-IISc
Courses undertaken during my time as a graduate student at IISc, Bangalore14 repositories
edu
Educational89 repositories
interesting
Just anything that's interesting, To check out later67 repositories
my
List for my repositories!52 repositories
nice
Nice ones.80 repositories
star
Just starred. Dunno why?12 repositories
supporting
Simply, to support through Stars20 repositories
wow
Just brilliant!44 repositories
Starred repositories
Higher-Kinded Types in Python: a survey of real-world use cases
10
Updated Jun 9, 2026
Type-safe hierarchical experiment configuration using pure Python dataclass factories and dependency injection.
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Unbearably fast near-real-time pure-Python runtime-static type-checker.
A library for runtime type analysis, validation, and (un)marshalling.
Create web-based user interfaces with Python. The nice way.
The mypy playground. Try mypy with your web browser.
Python variant types that work with match
Extensible methods for Python a la Haskell's typeclasses.
A 5-20x faster experimental Homebrew alternative
A newsletter all about Python core development
An object-oriented Python approach towards providing a giant wrapper for Tikz code, with the goal of streamlining the process of creating complex figures for TeX documents.
A library that programmatically generates LaTeX TikZ diagrams.
A utility to build any commit of CPython, even with the JIT enabled
Easy creation of custom import hooks to experiment on alternatives to Python's syntax; see https://aroberge.github.io/ideas/docs/html/
Python Typing Intersection examples
Single-pass SSA bytecode compiler and threaded-code stack VM for a sandboxed Python subset: NaN-boxed values, inline caching, super-instruction fusion, pure-function memoization, mark-sweep GC. Cov…
Collecting examples of unsoundness in the Python type system
Communications from the Steering Council