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 (1.9%) to scientific vocabulary
Keywords
Repository
Calvin Talks Types
Basic Info
- Host: GitHub
- Owner: Chobbes
- License: mit
- Language: TeX
- Default Branch: master
- Size: 2 MB
Statistics
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
- Releases: 0
Topics
Metadata Files
README.md
TypeTalk
A talk about the wonderful world of types and programming languages, with a dash of formal verification. Does your programming language get you down? It probably should! Ever wish you could prove that your program was correct? Maybe you can! Join us as we briefly explore some alternatives with typed functional programming languages. With a bit of luck you will catch a glimpse into how programming languages can make your lives easier, and the world a better and safer place. Types aren't the Java-esk horrors of your nightmares, instead they can make programming a pure delight! Let's discover why that annoying person keeps talking about Haskell, and why that even more obnoxious person won't shut up about Idris.
Owner
- Name: Calvin Beck
- Login: Chobbes
- Kind: user
- Location: Philadelphia
- Repositories: 143
- Profile: https://github.com/Chobbes
GitHub Events
Total
Last Year
Issues and Pull Requests
Last synced: 11 months ago
All Time
- Total issues: 0
- Total pull requests: 0
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Total issue authors: 0
- Total pull request authors: 0
- Average comments per issue: 0
- Average comments per pull request: 0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0
Past Year
- Issues: 0
- Pull requests: 0
- Average time to close issues: N/A
- Average time to close pull requests: N/A
- Issue authors: 0
- Pull request authors: 0
- Average comments per issue: 0
- Average comments per pull request: 0
- Merged pull requests: 0
- Bot issues: 0
- Bot pull requests: 0