1October 3, 2023 2 Libraries: A First Step Toward Standard C++ Dependency Management Bret Brown, C++ Infrastructure Lead, Bloomberg Bill Hoffman, CTO, KitwareHello! Welcome! Bret Brown C++ Infrastructure portable as the code they contain! ● ✓ Projects should be “cattle,” not “pets”! 7Why dependency management? 8Consensus: Managing dependencies == way too hard Q: Which of these do you find frustrating names: jsonlogConfig.cmake Jsonlog-config.cmake # ... CMake gives you some dependency management tips here ... 13 Aside: Coloring and bolding added for emphasisMotivation: What would we design

@@@ All of library code is in LibSpace, user code without frame is in UserSpace@@@ As opposed to library sharing entities with other libraries+ @@@ Deducing this removes the need for CRTP2 Slides1. https://godbolt default implementation (something which can be done generally) @@@ All of library code is in LibSpace, user code without frame is in UserSpace1. @@@ Terms: 1. Overload: multiple functions with the same name library code is in LibSpace, user code without frame is in UserSpace 1. Basic: https://godbolt.org/z/nej3977z8@@@ This is done in the lib containing namespace (and not on user space) 2. Partial template

Ov Over erview view Casdoor is a UI-first Identity Access Management (IAM) / Single-Sign-On (SSO) platform based on OAuth 2.0, OIDC, SAML, and CAS. Casdoor serves both the web UI and the login requests separate architecture, developed by Golang. It supports high concurrency, provides a web-based UI for management, and supports localization in 10+ languages. 2. Casdoor supports third-party application login and it supports extending third-party login with plugins. 3. Casdoor supports authorization management based on Casbin. It supports ACL, RBAC, ABAC, and RESTful access control models. 4. Casdoor provides

Agda User Manual Release 2.6.2 The Agda Team Jun 19, 2021 Contents 1 Overview 3 2 Getting Started 5 2.1 What is Agda? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 226 4.9 Library Management . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 226 4.10 Bibliography 245 Index 247 ii Agda User Manual, Release 2.6.2 Contents 1 Agda User Manual, Release 2.6.2 2 Contents CHAPTER 1 Overview Note: The Agda User Manual is a work-in-progress and is still

Library Management Performance debugging Search Definitions in Scope Contribute Documentation The Agda Team and License Indices and tables Index Search Page Overview Note The Agda User Manual is manual can be downloaded from GitHub Actions [https://github.com/agda/agda/actions?query=workflow%3A%22User+Manual%22+is%3Asuccess] page (instruction on how to find them management system that provides prebuilt packages for OS X. Once it is installed in your system, you are ready

Generating HTML Generating LaTeX Library Management Contribute Documentation The Agda Team and License Indices and tables Index Search Page Overview Note The Agda User Manual is a work-in-progress and refl Copatterns in function definitions In fact, we do not need to start at 0. We can allow the user to specify the starting element. Without copatterns, we just add the extra argument to the function arbitrary value, we want to limit the user to two choices: 0 or 42. Without copatterns, we would need an auxiliary definition to choose which value to start with based on the user-provided flag: open Enumeration

HTML Generating LaTeX Library Management Contribute Documentation The Agda License The Agda Team Indices and tables Index Search Page Overview Note The Agda User Manual is a work-in-progress and refl Copatterns in function definitions In fact, we do not need to start at 0. We can allow the user to specify the starting element. Without copatterns, we just add the extra argument to the function arbitrary value, we want to limit the user to two choices: 0 or 42. Without copatterns, we would need an auxiliary definition to choose which value to start with based on the user-provided flag: open Enumeration

Agda User Manual Release 2.6.0 The Agda Team Apr 12, 2019 Contents 1 Overview 1 2 Getting Started 3 2.1 What is Agda? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 160 4.8 Library Management . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 176 5 Contribute and License 183 7 Indices and tables 185 Bibliography 187 ii CHAPTER 1 Overview Note: The Agda User Manual is a work-in-progress and is still incomplete. Contributions, additions and corrections to

Agda User Manual Release 2.6.1.2 The Agda Team Feb 03, 2021 Contents 1 Overview 3 2 Getting Started 5 2.1 What is Agda? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 186 4.8 Library Management . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 202 4.9 Bibliography 217 Index 219 ii Agda User Manual, Release 2.6.1.2 Contents 1 Agda User Manual, Release 2.6.1.2 2 Contents CHAPTER 1 Overview Note: The Agda User Manual is a work-in-progress and is