Code for "Social Networks for Startups"
Repository Index
47,133 repositories indexed
169–192 of 220 · Most stars
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
Code repository for Mastering Qt 5 published by Packt
Demo Game for Mobile HTML5 Game Development
Learn all about asynchronous elixir
- concurrency
- course
- elixir
- book
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
examples from "Thoughtful Machine Learning"
- rubyml
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
Learn Prolog Now LaTeX sources
Lwt Translations of the Async Code Examples in Real World OCaml
- ocaml
- lwt
Code repository for Qt5 C++ GUI Programming Cookbook, published by Packt
A re-styled version of the R manuals
Code for the second edition of Microservices in .NET Core