https://github.com/MangoTheCat/Formal-Package-Development-Workshop

Resources for the EARL Current Best Practices in Formal Package Development Workshop
https://github.com/MangoTheCat/Formal-Package-Development-Workshop

Last synced: 3 months ago
JSON representation

Resources for the EARL Current Best Practices in Formal Package Development Workshop

• Host: GitHub
• URL: https://github.com/MangoTheCat/Formal-Package-Development-Workshop
• Owner: MangoTheCat
• Created: 2015-09-03T13:11:46.000Z (about 9 years ago)
• Default Branch: master
• Last Pushed: 2018-02-15T09:54:52.000Z (over 6 years ago)
• Last Synced: 2024-06-05T02:33:52.274Z (5 months ago)
• Language: R
• Size: 22.5 KB
• Stars: 6
• Watchers: 7
• Forks: 7
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

• jimsghstars - MangoTheCat/Formal-Package-Development-Workshop - Resources for the EARL Current Best Practices in Formal Package Development Workshop (R)

README

        
# Formal-Package-Development-Workshop

Resources for the EARL Current Best Practices in Formal Package Development Workshop

This repository contains the source files that will be required for the workshop as well as an example package that will be developed during the workshop. 

Example material based on the exercises in the workshop will be added after the workshop.