Resources on programming practices for safety-critical software.
- safety-critical
- safety-standards
- safety
- awesome-lists
47,133 repositories indexed
3,721–3,744 of 11,683 · Most stars
Resources on programming practices for safety-critical software.
Stream Processing and Complex Event Processing Engine
What's in your data? Extract schema, statistics and entities from datasets
lol_dba is a small package of rake tasks that scan your application models and displays a list of columns that probably should be indexed. Also, it can generate .sql migration scripts.
Watch SQL traffic in real-time with a TUI
A batteries-included framework for easy web-scraping. Just add CSS! (Or do more.)
A collection of well known Algebraic Data Types for your utter enjoyment.
microprofile is an embeddable profiler
Turn any LLM into a Jev-style decision model: typed decisions, real probabilities, no training. (continue updating, welcome any issue and PR request)
Chrome DevTools Protocol
☝️One <div>. Many possibilities.
Source-available agent platform for Global × China enterprises — wire every system through one agent core. Self-hosted, any LLM.
Official Geokit plugin for Rails/ActiveRecord. Provides location-based goodness for your Rails app. Requires the Geokit gem.
Scriptable interpreter written in golang
a header-only, constexpr alternative to gperf for C++14 users
thoughts on programming
The ultimate open-source Overleaf extension and alternative: a free, self-hosted, drop-in replacement for Overleaf Community Edition with nearly all Pro feature—SSO, AI Assistant, Git(Hub/Lab)/ Dropbox sync, track changes, sandboxed compilation, Zotero, Mendeley and more. Formerly @Ayaka-notes Overleaf Pro. Docs: https://ayakaleaf-pro.ayaka.space
:sunrise: A collection of awesome resources for building progressive web apps
Python Streaming DataFrames for Kafka
Pure and reproducible nix overlay of binary distributed rust toolchains
Rust projects here are easy to use. There are blog posts for them also.
A video composition framework build on top of AVFoundation. It's simple to use and easy to extend.
A small guide to help those looking to hire a developer or designer for iOS work. While tailored for iOS, many questions could be used for Android developers or designers as well. A great self-test if you're looking to keep current or practice for your own interview.
TranslatedFull-stack learning roadmap and Chinese tutorials for large language models (LLM)🔥: covers Prompt Engineering, RAG, AI Agent, MCP, fine-tuning, model deployment, Transformer, AI programming, and interviews at major tech companies, from beginner level to production practice.