Repository Index

PHP 7 Version of the cargo sample used in Eric Evans DDD book

• cargo-sample
• php
• eric-evans-book
• ddd

Mostly experiments based on "Advances in financial machine learning" book

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"

Tutorials, datasets, and other material associated with textbook "A First Course in Network Science" by Menczer, Fortunato & Davis

• social-network
• indiana-university
• network-science
• textbook

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

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

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

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

Code repository for Learning Vulkan, published by Packt

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/

Demo Game for Mobile HTML5 Game Development

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

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

Modeling and Proving in Computational Type Theory

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

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