Typonomikon
Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Functional Light Js | 16,468 | 4 months ago | 27 | other | JavaScript | |||||
| Pragmatic, balanced FP in JavaScript. @FLJSBook on twitter. | ||||||||||
| Milewski Ctfp Pdf | 10,547 | 4 months ago | 53 | other | TeX | |||||
| Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source | ||||||||||
| Learnhaskell | 7,760 | a year ago | 9 | cc0-1.0 | Makefile | |||||
| Learn Haskell | ||||||||||
| Algoxy | 5,929 | 3 months ago | 1 | TeX | ||||||
| Book of Elementary Functional Algorithms and Data structures | ||||||||||
| Fpinscala | 5,612 | 5 months ago | 134 | mit | Scala | |||||
| Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala" | ||||||||||
| Write You A Haskell | 2,744 | 4 years ago | 21 | mit | Haskell | |||||
| Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/) | ||||||||||
| Sofp | 1,250 | 3 months ago | 4 | gpl-2.0 | TeX | |||||
| A free book: "The Science of Functional Programming" | ||||||||||
| Elixirbooks | 1,173 | 2 years ago | other | |||||||
| List of Elixir books | ||||||||||
| Smooth Coffeescript | 595 | 12 years ago | 13 | CoffeeScript | ||||||
| A book on functional programming in CoffeeScript | ||||||||||
| Functional Csharp Code | 446 |  | 3 | 5 | 2 years ago | 5 | December 20, 2021 | 9 | mit | C# |
| Code samples for Functional Programming in C# | ||||||||||
Alternatives To TyponomikonSelect To Compare
Alternative Project Comparisons
Popular Book Projects
Popular Functional Programming Projects
Popular Learning Resources Categories
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Book
Functional Programming
Coq
Type Theory