aiogram is an asynchronous Python framework for Telegram Bot API. Use this tag when your question is related specifically to aiogram.

Replit (formerly Repl.it) is an online IDE (integrated development environment) supporting over 50 programming languages. Use this tag for questions regarding using the IDE.

Lean is an open source theorem prover being developed at Microsoft Research, with a monolothic standard library developed collaboratively. The Lean Theorem Prover aims to bridge the gap between interactive and automated theorem proving. There are two main versions available; Lean 3 and Lean 4, with similar designs but different syntax.

Asynchronous execution in spring for Java. Annotating a method of a bean with @Async will make it execute in a separate thread i.e. the caller will not wait for the completion of the called method.

C++17 feature where the condition of the if statement gets evaluated at compile time. The result will influence which branch will be used. The other branch only needs a correct syntax.

Similar Tags: [amp-html] and [google-amp] AMP HTML (Accelerated Mobile Pages HTML) is a project led by Google to make the mobile web faster. It is a set of HTML tags, a JavaScript library, and a cache for AMP-compliant pages.

For use on posts about network layer communcations for LoRa devices, implementing this protocol.

For questions related to Apache Kudu

.Net 4.6.2 is the version of the popular Microsoft .Net framework and adds several new features. Use for questions specifically related to .NET Framework 4.6.2. For questions on .NET Framework generally, use the .net tag.