Repository Index

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

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

Lwt Translations of the Async Code Examples in Real World OCaml

• ocaml
• lwt

A re-styled version of the R manuals

Code for the second edition of Microservices in .NET Core

Algorand Specifications

• algorand
• avm
• blockchain
• consensus

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 Guide for Localization and Globalization Professionals

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

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

WIP web app version of The Shortest Ember Book

• hacktoberfest
• ember

Chapter 6: Media Player with Ionic 2

Chapter 7: Social app with Firebase and Ionic 2

A book that demonstrates how to perform typical table data operations using PRQL and DuckDB.

• dplyr
• duckdb
• polars
• prql

This is the companion repo for Go Succinctly by Amir Irani.

Chapter 5: Wordpress Client App with Ionic 2

Chapter 4: Stock Tracking app with Ionic 2 and Yahoo API

Common Lisp The Language Second Edition

• book
• common-lisp
• documentation
• lisp

Sitecore PowerShell Extensions - The Book

• spe
• sitecore-powershell-extensions
• windows-powershell
• sitecore-api