Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
- coq
- coq-art
- exercises
- docker-coq-action
Repository Index
47,133 repositories indexed
73–85 of 85 · Most stars
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
Code repository for Qt5 C++ GUI Programming Cookbook, published by Packt
Clarity of Mind is both an introductory as well as a reference book for the Clarity smart contract language.
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
Add syntax highlighting and other goodies to Practical Common Lisp by Peter Seibel.
WIP web app version of The Shortest Ember Book
- hacktoberfest
- ember
Comprehensive guides to GTFS and GTFS Realtime
A book that demonstrates how to perform typical table data operations using PRQL and DuckDB.
Chapter 4: Stock Tracking app with Ionic 2 and Yahoo API
Common Lisp The Language Second Edition
- book
- common-lisp
- documentation
- lisp