Software Foundations in Idris
- idris
- theorem-proving
- book
- computer-science
Repository Index
47,133 repositories indexed
49–72 of 77 · Most stars
Common Lisp implementation of algorithms from Russell And Norvig's "Artificial Intelligence - A Modern Approach"
Tutorials, datasets, and other material associated with textbook "A First Course in Network Science" by Menczer, Fortunato & Davis
- social-network
- indiana-university
- network-science
- textbook
An interactive book about the Riemann problem for hyperbolic PDEs, using Jupyter notebooks.
- riemann-solver
- python
- jupyter-notebook
- book
Online version of Bischl, B., Sonabend, R., Kotthoff, L., & Lang, M. (Eds.). (2024). "Applied Machine Learning Using mlr3 in R". CRC Press.
- mlr3
- machine-learning
- book
- bookdown
Source code for the book "Game Boy Assembly Programming for the Modern Game Developer"
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.
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
Modeling and Proving in Computational Type Theory
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
Code repository for Qt5 C++ GUI Programming Cookbook, published by Packt
A Swift playgroundbook about Image Filtering
- wwdc17
- wwdc-scholarship
- wwdcscholars
- playgroundbook
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
Mobile Deep Learning Projects, published by Packt
Add syntax highlighting and other goodies to Practical Common Lisp by Peter Seibel.
Chapter 6: Media Player with Ionic 2
Chapter 7: Social app with Firebase and Ionic 2
Comprehensive guides to GTFS and GTFS Realtime