Resources on programming practices for safety-critical software.
- safety-critical
- safety-standards
- safety
- awesome-lists
Repository Index
47,133 repositories indexed
25–41 of 41 · Most stars
A curated list of telco resources and projects
MCP-NixOS - Model Context Protocol Server for NixOS resources
- ai-assistant
- ai-integration
- ai-tools
- anthropic
Android Studio / Eclipse ADT template for material-design-icons resources
Deep Learning Resources and Tutorials using Keras and Lasagne
⚡A curated list of awesome resources related to the Ⱥlgorand Blockchain ⛓
- awesome
- awesome-list
- algorand
- algorand-blockchain
Non-comprehensive list of projects and resources related to open microscopy.
OpenBioLink is a resource and evaluation framework for evaluating link prediction models on heterogeneous biomedical graph data.
This repository contains reverse engineering results and resources for a few specific car models of a very specific car manufacturer. Please don't sue.
- car-hacking
- automotive-security
Searches various online resources to try and get as much info about an IP/domain as possible.
Awesome and Best FastHTML Resources For Python Developers
- fasthtml
- htmx
- python
- python3
A website for Western Friend (westernfriend.org), a Quaker publication that provides resources and support for Quaker communities and individuals seeking to live out their faith in the world. Western Friend is part of the Religious Society of Friends.
A tool designed for consistent and safe capture of off network web resources.
- network-defense
- security-tools
A foundation model-driven whole slide image-scale cell phenotyping method with QuPath integration Resources
- bioimage-analysis
- cell-classification
- computer-vision
- digital-pathology
A curated list of resources related to Industrial Control System (ICS) security.
mypy plugin to type check Kubernetes resources
- mypy
- kubernetes-python-client
- kubernetes
- kubernetes-development
Aldertech Dynamic Resource Governor — A kernel-level resource manager for high-density Docker stacks on Raspberry Pi and low-power servers.
- automation
- cgroupv2
- docker
- homelab