Software Foundations in Idris
- idris
- theorem-proving
- book
- computer-science
Repository Index
47,133 repositories indexed
49–66 of 66 · Most stars
An interactive 3D textbook for AP Physics 1 and AP Physics C
A deep dive into the Ember JS runloop.
- ember-framework
- javascript
- ember-runloop
- runloop
You know Simon Wardley's medium posts on his Wardley Mapping technique? This is an AsciiDoc of them.
Evidence archive for Jesus of Nazareth: research dossier (PDF), New Testament, gnostic and extracanonical gospels, church fathers, ancient witnesses, Roman legal documents, archaeology, and all 238 cited references — searchable reader at https://sybil-solutions.github.io/all-historical-evidence-of-jesus-christ/
Learn how to build a compiler by interacting with Let's Build a Compiler by Jack Crenshaw in Swift Playgrounds
- compiler
- compiler-principles
- compiler-construction
- swift
Algorand Specifications
- algorand
- avm
- blockchain
- consensus
A comprehensive guide to debugging tools for modern, complex front-end applications. This handbook provides practical, real-world guidance on a complete suite of tools, from Chrome DevTools and framework extensions to integrated IDE debuggers.
- chrome-devtools
- chrome-devtools-mcp
- react-devtools
- redux-devtools
open source E-book on statistical physics
- statistical-physics
- statistical-mechanics
:orange_book: Economics Textbook (Openstax)
- textbook
- openstax
- cc-by
- economics
WIP web app version of The Shortest Ember Book
- hacktoberfest
- ember
Chapter 6: Media Player with Ionic 2
Chapter 7: Social app with Firebase and Ionic 2
The repository host gives no description.
A book that demonstrates how to perform typical table data operations using PRQL and DuckDB.
Chapter 5: Wordpress Client App with Ionic 2
Chapter 4: Stock Tracking app with Ionic 2 and Yahoo API
The repository host gives no description.