Repository Index

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

Code for the second edition of Microservices in .NET Core

CoreImage For Swift Playgrounds

Clarity of Mind is both an introductory as well as a reference book for the Clarity smart contract language.

A Swift playgroundbook about Image Filtering

• wwdc17
• wwdc-scholarship
• wwdcscholars
• playgroundbook

Algorand Specifications

• algorand
• avm
• blockchain
• consensus

The Security Analyst’s Guide to Suricata

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

A Swift PlaygroundBook about Neural Networks

• wwdc19
• wwdc-scholarship
• machine-learning
• playgroundbook

A Guide for Localization and Globalization Professionals

open source E-book on statistical physics

• statistical-physics
• statistical-mechanics

Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]

• coq
• mathcomp
• 2-3-tree
• avl-tree

Mobile Deep Learning Projects, published by Packt

Add syntax highlighting and other goodies to Practical Common Lisp by Peter Seibel.