KolesnichenkoDS / From Junior To Senior
My study plan for going from junior to senior software developer
Stars: ✭ 104
Programming Languages
rust
11053 projects
Projects that are alternatives of or similar to From Junior To Senior
Repl
The Learning Hub for UoL's Online CS Students
Stars: ✭ 367 (+252.88%)
Mutual labels: computer-science, books, courses
Curated resources
📚 Curated lists for programming, books, movies, music, games, etc
Stars: ✭ 116 (+11.54%)
Mutual labels: computer-science, books, math
learn-ruby-and-cs
Books and other resources for learning Ruby and computer science.
Stars: ✭ 25 (-75.96%)
Mutual labels: computer-science, books
awesome-free-courses
List of awesome free video courses for learning Computer Science!
Stars: ✭ 49 (-52.88%)
Mutual labels: computer-science, courses
Learn Something Every Day
📝 A compilation of everything that I learn; Computer Science, Software Development, Engineering, Math, and Coding in General. Read the rendered results here ->
Stars: ✭ 362 (+248.08%)
Mutual labels: computer-science, math
computeiro
Computer science courses, books and exams in your pocket. Built with Flutter and Free! ❤️
Stars: ✭ 27 (-74.04%)
Mutual labels: computer-science, courses
Awesome Courses
List of free online programming/CS courses [Massive Open Online Courses]
Stars: ✭ 273 (+162.5%)
Mutual labels: computer-science, courses
computer-science-resources
Сollection of interesting Computer Science resources
Stars: ✭ 133 (+27.88%)
Mutual labels: computer-science, courses
Mind Expanding Books
📚 Books everyone should read!
Stars: ✭ 7,151 (+6775.96%)
Mutual labels: computer-science, books
Educative.io courses
this is downloadings of all educative.io free student subscription courses as pdf from GitHub student pack
Stars: ✭ 898 (+763.46%)
Mutual labels: computer-science, courses
books
A collection of online books for data science, computer science and coding!
Stars: ✭ 29 (-72.12%)
Mutual labels: computer-science, books
my-math-notes
All of my math stuff from grad school.
Stars: ✭ 41 (-60.58%)
Mutual labels: computer-science, math
lit
Literature for the self-taught AI practitioner! 📚
Stars: ✭ 199 (+91.35%)
Mutual labels: books, math
blog
Blog colaborativo sobre matemáticas e informática de la comunidad de @libreim.
Stars: ✭ 27 (-74.04%)
Mutual labels: computer-science, math
computer book list
一个综合了豆瓣，goodreads综合评分的计算机书籍书单
Stars: ✭ 1,535 (+1375.96%)
Mutual labels: computer-science, books
From junior to senior
My study plan for going from junior to senior software developer (i. e. from level 1 to level 3 of the Programmer Competency Matrix). Inspired by Google Interview University.
Usage
# install rust toolchain
curl https://sh.rustup.rs -sSf | sh
# clone this repository
git clone https://github.com/KolesnichenkoDS/from-junior-to-senior
cd from-junior-to-senior
# edit the list
vim resources/items.json
# render to markdown
cargo run -- resources/ -f json -F markdown -o README.md
If you want to suggest a resource, you can just open an issue.
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Table of contents
- Calculus
- Functional Analysis
- Geometry
- Logic
- Algebra
- Category Theory
- Combinatorics and Probability
- Discrete Mathematics
- Type Theory
- Verification and Automatic Theorem Proving
- Lambda Calculus
- Pi Calculus
- Data Structures
- Algorithms
- Programming Languages & Platforms
- Programming Paradigms and Patterns
- Memory Management and Garbage Collection
- Design Patterns
- Computer Architecture
- Systems Programming
- Compilers and Interpreters
- Networks
- Web Development
- Databases
- Concurrency and Parallelism
- Security
- Blockchain
- Testing
- Data Science
- Digital Marketing
- Project Management
Calculus
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📝 Articles
- 📖 Books
- [x] 🇷🇺 Краткий курс математического анализа by Lev Kudryavtsev
Functional Analysis
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📝 Articles
Geometry
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 🎓 Courses
- [x] 🇺🇸 Analytic Geometry by Khan Academy
Logic
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📝 Articles
- [x] 🇺🇸 Sequent Calculus by nLab
- 📖 Books
- [ ] 🇺🇸 Software Foundations. Volume 1: Logical Foundations by Benjamin C. Pierce
- [ ] 🇺🇸 Software Foundations. Volume 2: Programming Language Foundations by Benjamin C. Pierce
- [ ] 🇺🇸 Software Foundations. Volume 3: Verified Functional Algorithms by Andrew W. Appel
- [ ] 🇺🇸 Types and Programming Languages by Benjamin C. Pierce
Linear Logic
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📝 Articles
- [x] 🇺🇸 Linear Logic by nLab
- [ ] 🇷🇺 Линейная логика (реферат по истории математики) by Alexandr Kharitonov
- [ ] 🇺🇸 Linear Types Make Performance More Predictable by Jean-Philippe Bernardy, Arnaud Spiwack
- [ ] 🇺🇸 Implementing a Safer Sort with Linear Types by Alexander Vershilov, Arnaud Spiwack
- 📖 Books
- [ ] 🇺🇸 Linear Logic by Frank Pfenning
- 📄 Papers
- [ ] 🇺🇸 Integrating Dependent and Linear Types by Neel Krishnaswami
- [ ] 🇺🇸 Linear Logic, Monads and the Lambda Calculus by Nick Benton, Philip Wadler
- [ ] 🇺🇸 On Regions and Linear Types by David Walker, Kevin Watkins
- [ ] 🇺🇸 Linear Regions Are All You Need by Matthew Fluet, Greg Morrisett, Amal Ahmed
- [ ] 🇺🇸 Type Reconstruction for the Linear π-Calculus with Composite Regular Types by Luca Padovani
- [ ] 🇺🇸 Lightweight Monadic Regions by Oleg Kiselyov, Chung-chieh Shan
- [ ] 🇺🇸 Session Types for Rust by Thomas Bracht Laumann Jespersen, Philip Munksgaard, Ken Friis Larsen
- [ ] 🇺🇸 Permission-Based Ownership: Encapsulating State in High-Order Typed Languages by Neel Krishnaswami, Jonathan Aldrich
- 🎥 Videos
- [x] 🇺🇸 Linear and Dependent Types 1 by Neel Krishnaswami
- [x] 🇺🇸 Linear and Dependent Types 2 by Neel Krishnaswami
- [ ] 🇺🇸 Linear and Dependent Types 3 by Neel Krishnaswami
- [ ] 🇺🇸 Linear and Dependent Types 4 by Neel Krishnaswami
- [ ] 🇺🇸 Substructural Type Systems and Concurrent Programming 1 by Frank Pfenning
Algebra
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📖 Books
- [ ] 🇺🇸 Algebra: Chapter 0 by Paolo Aluffi
- 🎓 Courses
- [ ] 🇺🇸 Algebra I by MIT OpenCourseWare
- [ ] 🇺🇸 Algebra II by MIT OpenCourseWare
Category Theory
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📎 Cheatsheets
- 🇺🇸 Typeclassopedia by Brent Yorgey
- 📖 Books
- 📄 Papers
- [ ] 🇺🇸 Monads Need Not To Be Endofunctors by Thorsten Altenkirch, James Chapman, Tarmo Uustalu
Combinatorics and Probability
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 🎓 Courses
Type Theory
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📝 Articles
- [x] 🇺🇸 Impredicative Types by HaskellWiki
- 📖 Books
- [ ] 🇺🇸 Software Foundations. Volume 1: Logical Foundations by Benjamin C. Pierce
- [ ] 🇺🇸 Software Foundations. Volume 2: Programming Language Foundations by Benjamin C. Pierce
- [ ] 🇺🇸 Software Foundations. Volume 3: Verified Functional Algorithms by Andrew W. Appel
- [ ] 🇺🇸 Types and Programming Languages by Benjamin C. Pierce
- [ ] 🇺🇸 Homotopy Type Theory by Vladimir Voevodsky
- 📄 Papers
- [ ] 🇺🇸 Dependent Type Theory of Stateful High-Order Functions by Aleksandar Nanevski, Gregg Morrisett
- [ ] 🇺🇸 RustBelt: Securing the Foundations of the Rust Programming Language by Ralf Jung, Jacques-Henri Jordan, Robbert Krebbers, Derek Dreyer
- [ ] 🇺🇸 Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Programming by Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer
- [ ] 🇺🇸 Permission-Based Ownership: Encapsulating State in High-Order Typed Languages by Neel Krishnaswami, Jonathan Aldrich
- [ ] 🇺🇸 Verifying Event-Driven Programs using Ramified Frame Properties by Neel Krishnaswami, Lars Birkedal, Jonathan Aldrich
- 🌠 Slides
- [x] 🇺🇸 Type Safety Proof by Dan Grossman
- 🎥 Videos
- [x] 🇷🇺 Системы типизации лямбда-исчисления 1 by Денис Москвин
- [ ] 🇷🇺 Системы типизации лямбда-исчисления 2 by Денис Москвин
- [ ] 🇷🇺 Системы типизации лямбда-исчисления 3 by Денис Москвин
- [ ] 🇷🇺 Системы типизации лямбда-исчисления 4 by Денис Москвин
- [ ] 🇷🇺 Системы типизации лямбда-исчисления 5 by Денис Москвин
- [ ] 🇷🇺 Системы типизации лямбда-исчисления 6 by Денис Москвин
- [ ] 🇷🇺 Системы типизации лямбда-исчисления 7 by Денис Москвин
- [ ] 🇷🇺 Системы типизации лямбда-исчисления 8 by Денис Москвин
Linear Type Theory
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📝 Articles
- [ ] 🇺🇸 Linear Types Make Performance More Predictable by Jean-Philippe Bernardy, Arnaud Spiwack
- [ ] 🇺🇸 Implementing a Safer Sort with Linear Types by Alexander Vershilov, Arnaud Spiwack
- 📄 Papers
- [ ] 🇺🇸 Integrating Dependent and Linear Types by Neel Krishnaswami
- [ ] 🇺🇸 Linear Logic, Monads and the Lambda Calculus by Nick Benton, Philip Wadler
- [ ] 🇺🇸 On Regions and Linear Types by David Walker, Kevin Watkins
- [ ] 🇺🇸 Linear Regions Are All You Need by Matthew Fluet, Greg Morrisett, Amal Ahmed
- [ ] 🇺🇸 Lightweight Monadic Regions by Oleg Kiselyov, Chung-chieh Shan
- [ ] 🇺🇸 Session Types for Rust by Thomas Bracht Laumann Jespersen, Philip Munksgaard, Ken Friis Larsen
- [ ] 🇺🇸 Permission-Based Ownership: Encapsulating State in High-Order Typed Languages by Neel Krishnaswami, Jonathan Aldrich
- 🎥 Videos
- [x] 🇺🇸 Linear and Dependent Types 1 by Neel Krishnaswami
- [x] 🇺🇸 Linear and Dependent Types 2 by Neel Krishnaswami
- [ ] 🇺🇸 Linear and Dependent Types 3 by Neel Krishnaswami
- [ ] 🇺🇸 Linear and Dependent Types 4 by Neel Krishnaswami
Row Polymorphism
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📝 Articles
- [x] 🇺🇸 Row Polymorphism isn't Subtyping by Brian McKenna
- 📄 Papers
- [ ] 🇺🇸 A Polymorphic Type System for Extensible Records and Variants by Benedict R. Gaster, Mark P. Jones
- 🌠 Slides
- [x] 🇺🇸 Objects and Aspects: Row Polymorphism by Neel Krishnaswami
Subtyping
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📝 Articles
- [ ] 🇺🇸 Coercion by nLab
- [x] 🇺🇸 Row Polymorphism isn't Subtyping by Brian McKenna
- 📄 Papers
- [ ] 🇺🇸 Type-Theoretical Semantics with Coercive Subtyping by Zhaohui Luo
Verification and Automatic Theorem Proving
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📖 Books
- [ ] 🇺🇸 Software Foundations. Volume 3: Verified Functional Algorithms by Andrew W. Appel
- 🎓 Courses
- [x] 🇺🇸 Theorem Proving in Lean
- 📄 Papers
- [ ] 🇺🇸 Verifying Event-Driven Programs using Ramified Frame Properties by Neel Krishnaswami, Lars Birkedal, Jonathan Aldrich
Lambda Calculus
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📖 Books
- [ ] 🇺🇸 Types and Programming Languages by Benjamin C. Pierce
- 📄 Papers
- [ ] 🇺🇸 RustBelt: Securing the Foundations of the Rust Programming Language by Ralf Jung, Jacques-Henri Jordan, Robbert Krebbers, Derek Dreyer
- 🌠 Slides
- [x] 🇺🇸 Type Safety Proof by Dan Grossman
- 🎥 Videos
- [x] 🇷🇺 Лямбда-исчисление by Денис Москвин
- [x] 🇷🇺 Рекурсия и редукция by Денис Москвин
- [x] 🇷🇺 Просто типизированное лямбда-исчисление by Денис Москвин
- [x] 🇷🇺 Системы типизации лямбда-исчисления 1 by Денис Москвин
- [ ] 🇷🇺 Системы типизации лямбда-исчисления 2 by Денис Москвин
- [ ] 🇷🇺 Системы типизации лямбда-исчисления 3 by Денис Москвин
- [ ] 🇷🇺 Системы типизации лямбда-исчисления 4 by Денис Москвин
- [ ] 🇷🇺 Системы типизации лямбда-исчисления 5 by Денис Москвин
- [ ] 🇷🇺 Системы типизации лямбда-исчисления 6 by Денис Москвин
- [ ] 🇷🇺 Системы типизации лямбда-исчисления 7 by Денис Москвин
- [ ] 🇷🇺 Системы типизации лямбда-исчисления 8 by Денис Москвин
Linear Lambda Calculus
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📄 Papers
- [ ] 🇺🇸 Integrating Dependent and Linear Types by Neel Krishnaswami
- [ ] 🇺🇸 Linear Logic, Monads and the Lambda Calculus by Nick Benton, Philip Wadler
- 🎥 Videos
- [x] 🇺🇸 Linear and Dependent Types 1 by Neel Krishnaswami
- [x] 🇺🇸 Linear and Dependent Types 2 by Neel Krishnaswami
- [ ] 🇺🇸 Linear and Dependent Types 3 by Neel Krishnaswami
- [ ] 🇺🇸 Linear and Dependent Types 4 by Neel Krishnaswami
Pi Calculus
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📄 Papers
- [ ] 🇺🇸 Type Reconstruction for the Linear π-Calculus with Composite Regular Types by Luca Padovani
- [ ] 🇺🇸 Designing a π-based Programming Language in the .NET Framework: CLR Interoperability from the Programmer's Point of View by Manuel Mazzara
Algorithms
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📖 Books
- [ ] 🇺🇸 Structure and Interpretation of Computer Programs by Hal Abelson, Gerald Jay Sussman
- 🎓 Courses
Complexity
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 🎓 Courses
- [ ] 🇷🇺 Сложность вычислений by School of Data Analysis
Programming Languages & Platforms
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
JVM
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📝 Articles
- [ ] 🇺🇸 JVM Anatomy Park #2: Transparent Huge Pages by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #3: GC Design and Pauses by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #4: TLAB Allocation by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #5: TLABs and Heap Parsebility by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #6: New Object Stages by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #7: Object Initialization Costs by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #8: Local Variable Reachability by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #9: JNI Critical and GC Locker by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #10: String.intern() by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #11: Moving GC and Locality by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #12: Native Memory Tracking by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #13: Integrational Barriers by Aleksey Shipilev
Java
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📝 Articles
- [ ] 🇺🇸 JVM Anatomy Park #1: Lock Coarsening and Loops by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #8: Local Variable Reachability by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #14: Constant Variables by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #15: Just-In-Time Constants by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #16: Megamorphic Virtual Calls by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #17: Trust Non-Static Final Fields by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #18: Scalar Replacement by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #19: Lock Elision by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #20: FPU Spills by Aleksey Shipilev
- [ ] 🇺🇸 RAII in Java by Yegor Bugayenko
- [ ] 🇺🇸 Java 9: The Good, The Bad, and Private Interface Methods by Yegor Bugayenko
- [ ] 🇺🇸 Operator new() is Toxic by Yegor Bugayenko
- [ ] 🇺🇸 Constructors or Static Factory Methods? by Yegor Bugayenko
.NET
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📝 Articles
- [x] 🇺🇸 Concurrent Programming in .NET Core by Damir Arh
- [ ] 🇺🇸 How does Object.GetType() really work? by Konrad Kokosa
- [ ] 🇺🇸 Zero Garbage Collector for .NET Core by Konrad Kokosa
- [ ] 🇺🇸 Zero Garbage Collector for .NET Core 2.1 and ASP.NET Core 2.1 by Konrad Kokosa
- [x] 🇺🇸 Allocation is cheap... until it is not by Konrad Kokosa
- [ ] 🇺🇸 Making .NET code less allocatey – Allocations and the Garbage Collector by Maarten Balliauw
- 📄 Papers
- [ ] 🇺🇸 Designing a π-based Programming Language in the .NET Framework: CLR Interoperability from the Programmer's Point of View by Manuel Mazzara
- [ ] 🇺🇸 Design and Implementation of Generics for the .NET Common Language Runtime by Andrew Kennedy, Don Syme
F Star
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📄 Papers
- [ ] 🇺🇸 Dependent Types and Multi-monadic Effects in F* by Nikhil Swamy
Haskell
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📎 Cheatsheets
- 🇺🇸 Typeclassopedia by Brent Yorgey
- 📝 Articles
- [x] 🇺🇸 Impredicative Types by HaskellWiki
- [ ] 🇺🇸 Linear Types Make Performance More Predictable by Jean-Philippe Bernardy, Arnaud Spiwack
- [ ] 🇺🇸 Implementing a Safer Sort with Linear Types by Alexander Vershilov, Arnaud Spiwack
- [x] 🇺🇸 Three Layer Haskell Cake by Matt Parsons
- [ ] 🇺🇸 Invert Your Mocks! by Matt Parsons
- 📄 Papers
- [x] 🇺🇸 Typed Tagless Final Interpreters by Oleg Kiselov
- [ ] 🇺🇸 Lightweight Monadic Regions by Oleg Kiselyov, Chung-chieh Shan
Rust
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📝 Articles
- 📄 Papers
- [ ] 🇺🇸 RustBelt: Securing the Foundations of the Rust Programming Language by Ralf Jung, Jacques-Henri Jordan, Robbert Krebbers, Derek Dreyer
- [ ] 🇺🇸 Session Types for Rust by Thomas Bracht Laumann Jespersen, Philip Munksgaard, Ken Friis Larsen
Coq
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📖 Books
- [ ] 🇺🇸 Software Foundations. Volume 1: Logical Foundations by Benjamin C. Pierce
- [ ] 🇺🇸 Software Foundations. Volume 2: Programming Language Foundations by Benjamin C. Pierce
- [ ] 🇺🇸 Software Foundations. Volume 3: Verified Functional Algorithms by Andrew W. Appel
Programming Paradigms and Patterns
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
Object-Oriented Programming
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📝 Articles
- [ ] 🇺🇸 SRP is a Hoax by Yegor Bugayenko
- [ ] 🇺🇸 DAO is Yet Another OOP Shame by Yegor Bugayenko
- [ ] 🇺🇸 ORM is an Offensive Anti-Pattern by Yegor Bugayenko
- [ ] 🇺🇸 Getters/Setters. Evil. Period. by Yegor Bugayenko
- [ ] 🇺🇸 Operator new() is Toxic by Yegor Bugayenko
- [ ] 🇺🇸 Constructors or Static Factory Methods? by Yegor Bugayenko
- [ ] 🇺🇸 Data Transfer Object is a Shame by Yegor Bugayenko
- 📖 Books
- [ ] 🇺🇸 Design Patterns: Elements of Reusable Object-Oriented Software by Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides
Functional Programming
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📎 Cheatsheets
- 🇺🇸 Typeclassopedia by Brent Yorgey
- 📝 Articles
- [x] 🇺🇸 Three Layer Haskell Cake by Matt Parsons
- [ ] 🇺🇸 Invert Your Mocks! by Matt Parsons
- 📖 Books
- [ ] 🇺🇸 Software Foundations. Volume 1: Logical Foundations by Benjamin C. Pierce
- [ ] 🇺🇸 Software Foundations. Volume 2: Programming Language Foundations by Benjamin C. Pierce
- [ ] 🇺🇸 Software Foundations. Volume 3: Verified Functional Algorithms by Andrew W. Appel
- 📄 Papers
- [x] 🇺🇸 Typed Tagless Final Interpreters by Oleg Kiselov
- [ ] 🇺🇸 Lightweight Monadic Regions by Oleg Kiselyov, Chung-chieh Shan
- [ ] 🇺🇸 Verifying Event-Driven Programs using Ramified Frame Properties by Neel Krishnaswami, Lars Birkedal, Jonathan Aldrich
Inversion of Control
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📝 Articles
Memory Management and Garbage Collection
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📝 Articles
- [ ] 🇺🇸 JVM Anatomy Park #2: Transparent Huge Pages by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #3: GC Design and Pauses by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #4: TLAB Allocation by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #5: TLABs and Heap Parsebility by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #6: New Object Stages by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #7: Object Initialization Costs by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #8: Local Variable Reachability by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #9: JNI Critical and GC Locker by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #10: String.intern() by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #11: Moving GC and Locality by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #13: Integrational Barriers by Aleksey Shipilev
- [ ] 🇺🇸 Zero Garbage Collector for .NET Core by Konrad Kokosa
- [ ] 🇺🇸 Zero Garbage Collector for .NET Core 2.1 and ASP.NET Core 2.1 by Konrad Kokosa
- [x] 🇺🇸 Allocation is cheap... until it is not by Konrad Kokosa
- [ ] 🇺🇸 Making .NET code less allocatey – Allocations and the Garbage Collector by Maarten Balliauw
Design Patterns
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📖 Books
- [ ] 🇺🇸 Clean Code: A Handbook of Agile Software Craftsmanship by Robert C. Martin
Compilers and Interpreters
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
Compilers
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📝 Articles
- [ ] 🇺🇸 JVM Anatomy Park #1: Lock Coarsening and Loops by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #8: Local Variable Reachability by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #14: Constant Variables by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #15: Just-In-Time Constants by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #16: Megamorphic Virtual Calls by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #17: Trust Non-Static Final Fields by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #18: Scalar Replacement by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #19: Lock Elision by Aleksey Shipilev
- [ ] 🇺🇸 JVM Anatomy Park #20: FPU Spills by Aleksey Shipilev
Networks
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📝 Articles
Web Development
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
Backend
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
Microservices
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📝 Articles
- [ ] 🇺🇸 Pattern: Saga by Microservices.io
Databases
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📝 Articles
Concurrency and Parallelism
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📝 Articles
- [x] 🇺🇸 Concurrent Programming in .NET Core by Damir Arh
- 📄 Papers
- [ ] 🇺🇸 Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Programming by Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer
- 🎥 Videos
- [ ] 🇺🇸 Substructural Type Systems and Concurrent Programming 1 by Frank Pfenning
Multithreading
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📝 Articles
- 🎓 Courses
Distributed Systems
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 🎓 Courses
Blockchain
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 🎓 Courses
- [x] 🇺🇸 Introduction to Blockchain by Codecademy
Testing
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📝 Articles
- [ ] 🇺🇸 Single Statement Unit Tests by Yegor Bugayenko
- [ ] 🇺🇸 Invert Your Mocks! by Matt Parsons
Data Science
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
Distributed Systems
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 🎓 Courses
Machine Learning
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 🎓 Courses
- [ ] 🇷🇺 Машинное обучение by School of Data Analysis
Digital Marketing
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📎 Cheatsheets
- 🇺🇸 Metrics in Digital Marketing (wiki) by Svend A. Sylling
- 🇺🇸 OpenRTB Dynamic Native Ads API Specification Version 1.2 by RTB Project
Project Management
Statistics
| Resource type | Progress |
|---|---|
| Articles | |
| Books | |
| Courses | |
| Papers | |
| Slides | |
| Videos | |
| Total |
Resources
- 📖 Books
- [ ] 🇺🇸 The Mythical Man-Month: Essays on Software Engineering, Anniversary Edition by Frederick P. Brooks Jr.
See also
Note that the project description data, including the texts, logos, images, and/or trademarks,
for each open source project belongs to its rightful owner.
If you wish to add or remove any projects, please contact us at [email protected].