Contributed code examples from O'Reilly Android Cookbook. See #user-content-table README below!
Repository Index
47,133 repositories indexed
49–72 of 74 · Most stars
These are the sample Bounded Contexts for C#.NET from the book "Implementing Domain-Driven Design" by Vaughn Vernon: http://vaughnvernon.co/?page_id=168
An open-source full-length book on Docker
Harness Engineering 101 — building AI agents from first principles. The LLM is the brain; the harness is the body.
Software Foundations in Idris
- idris
- theorem-proving
- book
- computer-science
Common Lisp implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
Code and data used to create the examples in "Evidence-based Software Engineering based on the publicly available data"
- cognitive-capitalism
- cognitive-science
- economic-models
- ecosystem-modeling
Book source for Controls Engineering in the FIRST Robotics Competition
e-book version of the akitaonrails.com blog.
Source code for the "Backbone.Marionette.js: A Gentle Introduction" book available at https://leanpub.com/marionette-gentle-introduction
This source code distribution is a companion to the AWS Lambda in Action book available from Manning Publications.
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/
Source code for the book "Game Boy Assembly Programming for the Modern Game Developer"
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
Example source code for the Practical Crypto with Go book.
Idris version of Domain Modeling Made Functional Book.
- fp
- idris
- ddd
- depedent-types
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
- coq
- coq-art
- exercises
- docker-coq-action
Modeling and Proving in Computational Type Theory
examples from "Thoughtful Machine Learning"
- rubyml
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
Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
- coq
- mathcomp
- 2-3-tree
- avl-tree
Add syntax highlighting and other goodies to Practical Common Lisp by Peter Seibel.
:orange_book: Economics Textbook (Openstax)
- textbook
- openstax
- cc-by
- economics
Comprehensive guides to GTFS and GTFS Realtime