|Project Name||Stars||Downloads||Repos Using This||Packages Using This||Most Recent Commit||Total Releases||Latest Release||Open Issues||License||Language|
|Functional Programming Jargon||18,353||3 months ago||27||mit|
|Jargon from the functional programming world in simple terms!|
|Lo||13,170||546||a month ago||53||March 21, 2023||162||mit||Go|
|💥 A Lodash-style Go library based on Go 1.18+ Generics (map, filter, contains, find...)|
|Fp Ts||9,720||723||1,978||2 months ago||223||July 27, 2023||181||mit||TypeScript|
|Functional programming in TypeScript|
|Awesome Talks||5,866||2 months ago||31|
|Awesome online talks and screencasts|
|Awesome Fp Js||5,856||2 days ago||1|
|:sunglasses: A curated list of awesome functional programming stuff in js|
|Fpinscala||5,559||4 months ago||124||mit||Scala|
|Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"|
|Awesome Android Libraries||5,437||a month ago||66|
|This is an alphabetical list of libraries for Android development, the majority being actively maintained.|
|Cats||5,043||8||1,147||5 days ago||53||November 12, 2022||227||other||Scala|
|Lightweight, modular, and extensible library for functional programming.|
|Plt||5,018||2 months ago||CSS|
|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.
For a quick course in Type Theory, Philip Wadler recommends: Types and Programming Languages, Proofs and Types, followed by Advanced Topics in Types and Programming Languages.
Philip Wadler's advice here is "read Pierce for motivation, Mac Lane for the presentation of the maths".
Some related maths resources.
It can be useful to have some background in mathematical thinking.