Modeling and Proving in Computational Type Theory
Repository Index
47,133 repositories indexed
49–54 of 54 · Most stars
Lwt Translations of the Async Code Examples in Real World OCaml
- ocaml
- lwt
Code repository for Qt5 C++ GUI Programming Cookbook, published by Packt
Code for the second edition of Microservices in .NET Core
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
Software libraries for solving models described in Mathematical GeoEnergy (Wiley, 2018)