Repository Index

Idris version of Domain Modeling Made Functional Book.

• fp
• idris
• ddd
• depedent-types

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

• coq
• coq-art
• exercises
• docker-coq-action

Code for the second edition of Microservices in .NET Core

Common Lisp The Language Second Edition

• book
• common-lisp
• documentation
• lisp

Sitecore PowerShell Extensions - The Book

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