TypeFunc
Type resources
Collects links and resources on type theory and functional programming.
Resources for type theory, functional programming, etc.
309 stars
22 watching
17 forks
last commit: almost 4 years ago
Linked from 2 awesome lists
jnv/lists
aalhour/awesome-compilersRelated projects:
| Repository | Description | Stars |
|---|---|---|
 radiovisual/functional-programming-resources | An archive of resources on functional programming in JavaScript | 57 |
 wisn/jargon-pemrograman-fungsional | Provides a glossary of terms and explanations for functional programming concepts in a simple and accessible way. | 70 |
 dacioromero/types-wm | Defines standard types for web monetization APIs | 3 |
 jozefg/learn-tt | A collection of resources for learning type theory and related fields | 2,180 |
 jkup/functional-javascript | A curated list of resources and tools for learning and practicing functional programming in JavaScript | 374 |
 frontdevops/typescript-cheat-sheet | A cheat sheet for the TypeScript programming language, covering its key concepts and types | 124 |
 id1019/functional-programming | A collection of LaTeX sources and instructions for generating PDFs from exercises in a course on functional and concurrent programming. | 79 |
 ffxsam/vue-typescript-cookbook | A cookbook and resource guide for developers learning Vue.js with TypeScript | 273 |
 justfollowus/natural-language-processing | Comprehensive resource for learning natural language processing (NLP) with a structured course outline and recommended readings. | 834 |
 zatonovo/lambda.r | A programming language and syntax for functional programs in R with type checking and pattern matching | 216 |
 mietek/total-fp | An archival repository of papers on Total Functional Programming (TFP), including foundational literature and related research. | 187 |
 jonathanvdc/micron | A minimalistic pure functional programming language implemented in F# | 2 |
 codekult/adventures-of-lambda-in-js | A curated list of resources to learn Functional Programming in JavaScript | 16 |
 willcrichton/tyrade | Exploring type-level programming in Rust with a focus on simplicity and expressiveness | 323 |
 hfoffani/hypolambda | A compact functional programming language for .NET with a syntax based on Python. | 0 |