https://github.com/cambridge-iccs/training-typing-python-with-mypy

Training materials on using mypy to add typing ontop of Python

https://github.com/cambridge-iccs/training-typing-python-with-mypy

Science Score: 13.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • CITATION.cff file
  • codemeta.json file
    Found codemeta.json file
  • .zenodo.json file
  • DOI references
  • Academic publication links
  • Academic email domains
  • Institutional organization owner
  • JOSS paper metadata
  • Scientific vocabulary similarity
    Low similarity (5.6%) to scientific vocabulary
Last synced: 10 months ago · JSON representation

Repository

Training materials on using mypy to add typing ontop of Python

Basic Info
  • Host: GitHub
  • Owner: Cambridge-ICCS
  • License: mit
  • Language: Python
  • Default Branch: main
  • Size: 16.2 MB
Statistics
  • Stars: 2
  • Watchers: 2
  • Forks: 4
  • Open Issues: 0
  • Releases: 0
Created almost 2 years ago · Last pushed almost 2 years ago
Metadata Files
Readme License

README.md






Training material for 'Typing Python with mypy'

This gives an introduction to using the mypy tool in the context of Python for adding in static typing ontop. The slides also provide some background on typing and verification.

This has been delivered in a number of sessions:

  • ICCS training day at the African Institute of Computing for Mathematics, Kigali, Rwanda (October 2023)
  • Intermediate Research Software Development Skills In Python for Earth Sciences, Manchester (March 2024)
  • ICCS Summer School 2024 (July 2024)

GitHub

  • tutorial.py contains examples
  • mypy-worksheet.pdf contains a set of exercises (whose LaTeX source code is in src)
  • mypy-worksheet-solutions.py provides the solutions
  • slides.pdf provides the slides (whose Keynote source is in src).

Owner

  • Name: Institute of Computing for Climate Science
  • Login: Cambridge-ICCS
  • Kind: organization

Institute of Computing for Climate Science at the University of Cambridge

GitHub Events

Total
Last Year