Awesome List Updates on Aug 25, 2024

3 awesome lists updated today.

🏠 Home · 🔍 Search · 🔥 Feed · 📮 Subscribe · ❤️ Sponsor

1. Free for Dev

Authentication, Authorization, and User Management

• Stack Auth — Open-source authentication that doesn't suck. The most developer-friendly solution, getting you started in just five minutes. Self-hostable for free, or offers a managed SaaS version with 10k free Monthly Active Users.

2. Awesome Theoretical Computer Science

Books / Monograph

• Structure and Interpretation of Computer Programs - MIT OCW, HTML book, Byford's playlist, Javascript book (⭐896), Python book, Berkeley - Fundamental principles of computer programming in Scheme, including recursion, abstraction, modularity, and programming language design and implementation.

• Pennsylvania. Software Foundations - A broad introduction series to the mathematical underpinnings of reliable software. It's composed of proof scripts for the Coq proof assistant. It's is intended for a broad range of readers, With no specific background assumed.

• Pierce. Software Foundations - A broad introduction series to the mathematical underpinnings of reliable software with Coq proof assistant. It's intended for a broad range of readers, with no specific background assumed.

• Chlipala. Formal Reasoning About Programs - A book introducing both machine-checked proof with Coq Proof Assistant and approaches to formal reasoning about program correctness.

• Lean Proof Assistant - Lean Proof Assistant.

• Bengt. Programming in Martin-Löf's Type Theory - This book describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective.

• The Univalent Foundations Program Institute for Advanced Study. Homotopy Type Theory: Univalent Foundations of Mathematics - The present book is intended as a first systematic exposition of the basics of univalent foundations, and a collection of examples of this new style of reasoning — but without requiring the reader to know or learn any formal logic, or to use any computer proof assistant.

Lecture Notes / Monograph

• UW CSE505 18au Principles of PL - Techniques for thinking crisply about programming languages, write some fascinating programs, and discuss various design tradeoffs.

• Martin-Löf. Intuitionistic Type Theory - Notes by Giovanni Sambin of a series of type theory lectures given in Padua, June 1980.

• Helsinki. Haskell MOOC - An online course on functional programming with Haskell programming language, and a live interactive Telegram community.

• Cornell. Functional Programming in Ocaml - A modern course on data structures and functional programming using OCaml.

Network Groups / Monograph

• nLab & Gratzer (⭐2.1k) - Logic, Math, Proof Assistants, and Type Theory.

3. Awesome Godot

XR / Godot 4.1

• Piggy Rescue (⭐3) - Fun little example game where you chase and rescue little pigs.

XR / Godot 3.5

• Beep Saber VR (⭐102) - Beat Saber clone in Godot.

• Friday Night Funkin` (⭐40) - VR port of the popular rhythm game.

Templates / Godot 4.2+

• Godot XR Template (⭐126) - Template for a multi-level XR game.

Plugins and scripts / Godot 4.2+

• Godot XR Tools (⭐488) - Basic components for XR development.

• TerraBrush (⭐594) - Minimal Terrain heightmap editor that features sculpting, painting textures, LOD, and MultiZones.

• Prev: Aug 26, 2024
• Next: Aug 24, 2024