This book is a distillation of my thoughts on the software creation process — how code evolves, and how we can keep it correct, maintainable, and scalable by relying on thoughtful design and the compiler as a partner.
☆60Jul 29, 2025Updated last year
Alternatives and similar repositories for safe-by-design
Users that are interested in safe-by-design are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Studying Terraform☆10Jun 7, 2024Updated 2 years ago
- Ferramenta para interpretar estruturas de dados EDI no padrão PROCEDA☆11May 18, 2021Updated 5 years ago
- Lumen Api is a boilerplate for GoLang Api development☆16Jan 18, 2025Updated last year
- A library that makes easier the creation of compiled containers using Symfony DI☆34Updated this week
- Cursor rules suitable for development using Elixir and Phoenix☆11Jun 20, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Reference-counted memory pool, 带引用计数的内存池，基于 sync.Pool 实现☆14May 29, 2025Updated last year
- GUI for editing nix files☆10May 13, 2026Updated 5 months ago
- Integrates the Money for PHP library into Symfony applications☆20Updated this week
- Backpulse is an API Based CMS. Build you own website without worrying about the content administration system.☆13Dec 9, 2022Updated 3 years ago
- ☆14Dec 23, 2025Updated 10 months ago
- The Salt programming language — systems programming with Z3-powered compile-time verification☆11Sep 30, 2026Updated last month
- Yet another tool for rendering markdown☆35Jul 18, 2026Updated 3 months ago
- Graceful restart & zero downtime deploy for Go servers.☆11Dec 21, 2020Updated 5 years ago
- Contractual Semver☆28Apr 16, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Fast and simple link shortener☆12Dec 17, 2022Updated 3 years ago
- All-star cast of ARIA roles for testing Phoenix LiveView☆16May 2, 2024Updated 2 years ago
- A configuration provider that pulls secrets from GCPs Secret Manager on App boot.☆13Oct 11, 2024Updated 2 years ago
- Software operations items☆15Apr 14, 2025Updated last year
- NixOS on a mirrored ZFS pool using disko, featuring opt-in persistence.☆13Jul 26, 2023Updated 3 years ago
- (module) A Go Redis fallback library with in-memory and local file tiers, health-check recovery, and TTL-preserving resync☆17Oct 29, 2026Updated last week
- Tetris implementation for Youtube video series☆14Apr 28, 2020Updated 6 years ago
- Common Continuous Integration Team Scenarios: Text Version☆11Aug 9, 2020Updated 6 years ago
- A neubrutalist design system☆11Jul 1, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A Phoenix reverse proxy for your umbrella apps☆16Apr 12, 2024Updated 2 years ago
- Go resources and libraries for integrating with Arista's CloudVision platform☆13Nov 3, 2026Updated last week
- Deployments in elixir generated into your application with terraform and ansible☆17Oct 2, 2026Updated last month
- Decaffeinate your JS-powered CSS stylesheets☆22Jun 4, 2021Updated 5 years ago
- A multiplayer Pong game using Elm, Phoenix and GenServer☆14May 25, 2022Updated 4 years ago
- Req plugin for Phoenix Ecto SQL Sandbox☆25Oct 7, 2026Updated last month
- Metrics☆12Apr 14, 2025Updated last year
- My collection of dotfiles☆14Updated this week
- Baguette is a Bash server-side web framework for internal tooling and making reactive web forms in shell scripts.☆28Oct 31, 2026Updated last week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Gitpod ❤️Phoenix (Elixir) - Gitpod workspace template☆13Sep 21, 2021Updated 5 years ago
- Network fault injection simulator☆21Jul 16, 2025Updated last year
- C Foreign function interface generator.☆19Jun 10, 2018Updated 8 years ago
- Logging, Metrics and Feature Flagging in Elixir. Brought to you by Zappi.☆15Nov 3, 2026Updated last week
- Ping search engines after deployments with Github actions☆18Jan 14, 2024Updated 2 years ago
- Safety philosopy: example principles for an organization and management☆13Apr 14, 2025Updated last year
- Elixir Stream☆20May 19, 2021Updated 5 years ago
Are these results useful?