Modeling and Proving in Computational Type Theory
Repository Index
47,133 repositories indexed
49–55 of 55 · Most stars
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
Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
- coq
- mathcomp
- 2-3-tree
- avl-tree
Add syntax highlighting and other goodies to Practical Common Lisp by Peter Seibel.
Comprehensive guides to GTFS and GTFS Realtime
This is the companion repo for Go Succinctly by Amir Irani.
Common Lisp The Language Second Edition
- book
- common-lisp
- documentation
- lisp