Repository Index

An interactive book about the Riemann problem for hyperbolic PDEs, using Jupyter notebooks.

• riemann-solver
• python
• jupyter-notebook
• book

This source code distribution is a companion to the AWS Lambda in Action book available from Manning Publications.

Online version of Bischl, B., Sonabend, R., Kotthoff, L., & Lang, M. (Eds.). (2024). "Applied Machine Learning Using mlr3 in R". CRC Press.

• mlr3
• machine-learning
• book
• bookdown

The book's repo

Code repository for Learning Vulkan, published by Packt

Code for "Social Networks for Startups"

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 of the Theoretical Physics Reference online book

• theoretical-physics
• reference
• book
• physics

Code repository for Mastering Qt 5 published by Packt

Demo Game for Mobile HTML5 Game Development

Source code for the book "Game Boy Assembly Programming for the Modern Game Developer"

Software Foundations

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.

Build systems with Go examples

• golang
• go
• book
• programming-language

The repository host gives no description.

Idris version of Domain Modeling Made Functional Book.

• fp
• idris
• ddd
• depedent-types

The code repository for the prototypes included in the eBook "Inspired EHRs - Designing for Clinicians" (inspiredEHRs.gov). The code of the prototypes is made available under the Apache 2.0 open source license. This license agreement allows anyone to freely use the code and ideas presented in this book, subject to the conditions listed at http://opensource.org/licenses/Apache-2.0.

• healthcare
• ehr
• open-source
• electronic-health-record

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

This repository contains the content of the book Getting Started With Ledger.

• ledger

TranslatedA guide to avoiding scams in the human world: 373 scam breakdowns covering 16 categories, including fake-order task scams (刷单), pig-butchering scams (杀猪盘), AI face-swapping, and scams targeting the elderly; includes real case reports, everyday self-check lists, PDF/EPUB/Anki downloads, and a scam-avoidance mini-game with 12 rounds

• anti-fraud
• anti-scam
• chinese
• scam-awareness

Lwt Translations of the Async Code Examples in Real World OCaml

• ocaml
• lwt

Code repository for Qt5 C++ GUI Programming Cookbook, published by Packt