Repository Index

A curated collection of publicly available resources on how companies around the world perform load testing

• performance-testing
• load-testing
• best-practices
• performance-engineering

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

• formal-verification
• formal-methods
• formal-specification
• ada

:mag: Data pipeline for crawling PDFs from the Web and transforming their contents into structured data using AWS textract. Built with AWS CDK + TypeScript

• aws
• textract
• lambda
• dynamodb

Collection of applications based on a single C# .NET Standard project running in: Blazor Client (WebAssembly), Blazor Server, Electron, WPF, WinForms, Maui, WinUI3

• webassembly
• dotnet
• wpf
• winforms

Example real world backend API built with Golang + Fiber + Gorm + Swagger

An opinionated platform engineering roadmap - in the form of a website

• platform-engineering
• roadmap

A curated list of excellent books to learn PostgreSQL — from beginner‑friendly introductions to advanced internals, administration, and performance tuning.

• pgadmin
• postgres-extension
• postgres-tools
• postgresql

TranslatedC++ matrix multiplication performance experiments: from triple loops to blocking optimization and systolic arrays — an undergraduate introductory showcase project in the AI chip (NPU) direction

Suricata Extreme Performance Tuning guide - Mark II

A collection of awesome things regarding the Power Platform ecosystem.

• tutorials
• samples
• awesome
• awesome-list

A collection of resources covering different aspects of Locust load testing tool usage.

• locust
• locustio
• awesome
• awesome-list

A curated list of awesome IBM Cloud SDKs, open source repositories, tools, blogs and other resources.

• awesome-list
• awesome
• ibm-cloud
• ibm-bluemix

We would like to maintain a list of resources which aim to solve molecular docking and other closely related tasks.

• ai-aided-drug-discovery
• awesome
• drug-discovery
• molecular-docking

Infrastructure-as-code toolkit (Docker Compose, Kubernetes, Terraform) for deploying containerized services, using the predictive-cicd-remediation project as the reference workload.

high performance computing related nix resources

A curated list of tools, tutorials, examples, and much more, for the awesome game development engines Construct 2 and Construct 3

• game-development
• tutorial
• construct
• general-tutorials

In this project, the Pacman agent will find paths through his maze world, both to reach a particular location and to collect food efficiently. I implemented general search algorithms such as depth-first, breadth-first, uniform cost, and A* search algorithms which are used to solve navigation problems in the Pacman world.

🔍 A step-by-step guide to parsing using Haskell parser combinators.

• haskell
• parser
• parser-combinators
• parsing

This repository is used to share Sitecore demo assets with external contributors and partners

Universal Azure DevOps Organizer - Uno Reference Implementation project

• uno-platform
• uno
• wasm
• webassembly

A collection of resources covering different aspects of Gatling load testing tool usage.

• gatling
• gatling-plugin
• awesome-gatling
• awesome

The Gopher API, is a simple CRUD API for formative purpose, we're building it while writing the posts of the blog.

A curated list of awesome Qlik extensions and resources for Qlik Sense and QlikView

• qlik
• qlik-sense
• qlik-extension
• qlik-sense-extension

Syllabus and other general course information