Pingdom pingdom.com

A tool to get the uptime of your website (with probes from different locations).

Pingbreak.com pingbreak.com

Free site and SSL Monitoring with response time alerting (on Slack, Twitter, Mattermost, Discord or custom Webhook).

Web Components in Action manning.com

Ben Farrell.

Locust locust.io

An open-source load testing tool. Define user behaviour with Python code, and swarm your system with millions of simultaneous users.

Lightest App lightest.app

Webpage load time is extremely important for conversion and revenue. Visualize web performance against competitors.

Apache JMeter jmeter.apache.org

Open source load testing tool: It is a Java platform application.

SVG OMG jakearchibald.github.io

SVGOMG is SVGO's Missing GUI, aiming to expose the majority, if not all the configuration options of SVGO.

ImageKit.io imagekit.io

Intelligent real-time image optimizations, image transformations with a global delivery network and storage.

Disc hughsk.io

Visualise the module tree of browserify project bundles and track down bloat.

Designing for Performance: Weighing Aesthetics and Speed designingforperformance.com

Lara Hogan.

Bundlephobia bundlephobia.com

Helps you find the performance impact of adding an npm package to your frontend bundle.

F# Software Foundation fsharp.org

Main website.

Rosettacode rosettacode.org

Provides examples in different languages, including esoteric languages.

Software Foundations softwarefoundations.cis.upenn.edu

Series of Coq-based textbooks on logic, functional programming, and foundations of programming languages, aimed at being accessible to beginners.

Nix nixos.org

Package manager for Linux and other Unix systems, supporting atomic upgrades and rollbacks.

Mathematical Components math-comp.github.io

Formalization of mathematical theories, focusing in particular on group theory.

Formal Reasoning About Programs adam.chlipala.net

Book that simultaneously provides a general introduction to formal logical reasoning about the correctness of programs and to using Coq for this purpose.

Q# Community qsharp.community

Community contributed libraries, projects, and demos for the Q# language.

Learn Quantum Computing with Python and Q# manning.com

Manning, 2021, Sarah Kaiser and Chris Granade.

Q# Dev Blog devblogs.microsoft.com

Official blog of Q# dev team.

Microsoft Quantum Blog cloudblogs.microsoft.com

Official blog of Microsoft Quantum team.

libera-chat-ada libera.chat

Ada channel at IRC.

CDR cdr.common-lisp.dev

Common Lisp Document Repository.

Starling gamua.com

High-performance 2D graphics engine built on Stage3D. API identical to Flash API. (github, help).

Feathers UI feathersui.com

User interface components for Starling Framework (github, help).

Adobe Animate CC adobe.com

Premiere vector graphics and animation toolset for vector/spritesheet creation.

Official Website autoitscript.com

Small tool for Windows to automate the Windows GUI, but it can also be used for other purposes.

LockBox sourceforge.net

(Newest and maintained version for recent compiler version only). [Delphi] Delphi library for cryptography. Currently supported Delphi XE6. It provides support for AES, DES, 3DES, Blowfish, Twofish, SHA2 (including the new SHA-512/224 & SHA-512/256), MD5; ECB, CBC, CFB8, CFB…

Pascal Analyzer peganza.com

(free Lite version available). [Delphi] Pascal Analyzer, or PAL for short, parses Delphi or Borland Pascal source code. It builds large internal tables of identifiers, and collects other information such as calls between subprograms. When the parsing is completed, extensive…

SynCrypto github.com

. [Delphi] [FPC] Fast cryptographic routines (hashing and cypher), implementing AES, XOR, RC4, ADLER32, MD5, SHA1, SHA256 algorithms, optimized for speed (tuned assembler and VIA PADLOCK optional support).

Find Packages on Packagist packagist.org

Getting Started Guide and Installation Instructions getcomposer.org

#Composer

Cloudsmith cloudsmith.com

A fully managed package management SaaS with PHP/Composer support (and many others).

PHP Weekly phpweekly.com

Leantime leantime.io

Domain-Driven Design in PHP leanpub.com

The Laravel Podcast laravelpodcast.com

Vagrant developer.hashicorp.com

BLAS netlib.org

application programming interface standard for publishing libraries to perform basic linear algebra operations such as vector and matrix multiplication.

Mongo.ml massd.github.io

Haxe Programming Language haxe.org

Produce cross-platform native code. [GitHub]

Hack Programming Language hacklang.org

Menhir gallium.inria.fr

Parser generator that can output Coq code for verified parsers.

Gagallium gallium.inria.fr

Frama-C frama-c.com

A sound and extensible static analyzer for C code.

Cornell University – Data Structures and Functional Programming cs.cornell.edu

University of Illinois courses.engr.illinois.edu

Coq coq.inria.fr

Compcert C Compiler compcert.inria.fr

High-assurance compiler for almost all of the C language (ISO C99), generating efficient code for the PowerPC, ARM, RISC-V and x86 processors.

Javadecompilers.com javadecompilers.com

Online Java decompiler that supports various decompilers.