This is stars and forks stats for /steshaw/plt repository. As of 02 May, 2024 this repository has 5056 stars and 333 forks.
layout title page Programming Language Theory Programming Language Theory Learning about Programming Language Theory can be a tough journey, particularly for programming practitioners who haven't studied it formally. This resource is here to help. Please feel free to get in touch if you have ideas for improvement. 💡 Top Tips For a quick course in Type Theory, Philip Wadler recommends: Types and Programming Languages, Proofs and Types, followed by Advanced Topics in Types and...
layout title page Programming Language Theory Programming Language Theory Learning about Programming Language Theory can be a tough journey, particularly for programming practitioners who haven't studied it formally. This resource is here to help. Please feel free to get in touch if you have ideas for improvement. 💡 Top Tips For a quick course in Type Theory, Philip Wadler recommends: Types and Programming Languages, Proofs and Types, followed by Advanced Topics in Types and...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
cechirita/tehnici-web | CSSHTMLJavaScript | 16 | 0 | 12 | 0 |
spec-nith/WebStar | CSSHTMLJavaScript | 7 | 0 | 24 | 0 |
eduardojesus12/codigo-otros-1 | CSSJavaScriptHTML | 0 | 0 | 113 | 0 |
tiredmala/Roundmoled | CSS | 17 | 0 | 115 | -1 |
securityelixir/potion_shop | ElixirHTMLCSS | 98 | 0 | 8 | 0 |
Redacted-Labs/RLabs-Blog | GroovyJavaScript | 1 | 0 | 0 | 0 |
vladilenm/node-gpt-example | HandlebarsJavaScript | 18 | 0 | 2 | 0 |
WebCon-2023/WebCon-2023 | HTMLCSSJavaScript | 17 | 0 | 86 | 0 |
OutRed/outred.github.io | HTML | 0 | 0 | 1 | 0 |
neal-zhu/arbclaim | JavaScriptSolidity | 69 | 0 | 28 | 0 |