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:
- Lumen Api is a boilerplate for GoLang Api development☆16Jan 18, 2025Updated last year
- TEAM FOCUS concepts by Paul N. Friga in McKinsey Engagement.☆23Apr 14, 2025Updated last year
- welp, htmx is bloat.☆15Dec 11, 2023Updated 2 years ago
- ACE (Adaptive Code Evolution) is an AI-powered system for code analysis and optimization.☆12Mar 25, 2026Updated 6 months ago
- Rust library and CLI tool for reading Alpine Linux’s apk package format and APKBUILD☆10Jan 19, 2026Updated 8 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Template project for Go libraries.☆15Aug 21, 2026Updated last month
- jujutsu tutorial☆28Aug 21, 2026Updated last month
- ☆14Dec 26, 2025Updated 9 months ago
- A minimalist Rust-based alternative to Husky☆32Aug 10, 2026Updated 2 months ago
- ☆18Jun 11, 2021Updated 5 years ago
- NixCon 2025 Workshop: Mastering NixOS Integration Tests: Advanced Techniques for Fast and Robust Multi-VM Tests☆18Mar 2, 2026Updated 7 months ago
- Backpulse is an API Based CMS. Build you own website without worrying about the content administration system.☆13Dec 9, 2022Updated 3 years ago
- Golang Estonia meetup resources, slides, code snippets etc.☆11Jul 26, 2022Updated 4 years ago
- JSON formatter for Flake8 output☆13Updated this week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A graduate course on distributed systems☆11Jan 6, 2024Updated 2 years ago
- A monorepo for a whatsapp analyzer service. Leveraging Go, SQS / SNS, S3, Redis, ES6.☆10Dec 29, 2018Updated 7 years ago
- Common Continuous Integration Team Scenarios: Text Version☆11Aug 9, 2020Updated 6 years ago
- Chat app demo for the Hype framework written for iOS written in Swift☆13Jun 29, 2018Updated 8 years ago
- Baguette is a Bash server-side web framework for internal tooling and making reactive web forms in shell scripts.☆28Sep 14, 2026Updated last month
- A Verbis CMS☆14Mar 7, 2023Updated 3 years ago
- A collection of custom functions for PostgreSQL features in Ecto☆17Apr 2, 2017Updated 9 years ago
- Contractual Semver☆28Apr 16, 2022Updated 4 years ago
- Stoolap Go Bindings☆23Sep 23, 2026Updated 3 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Make charts! Alpha version.☆15Oct 26, 2021Updated 4 years ago
- All-star cast of ARIA roles for testing Phoenix LiveView☆16May 2, 2024Updated 2 years ago
- Just a simple client/server store app over TCP☆10Sep 25, 2020Updated 6 years ago
- ☆39Sep 27, 2026Updated 2 weeks ago
- A sample project showing how to use google reCaptcha in a WebApp☆13Jan 31, 2017Updated 9 years ago
- Deployments in elixir generated into your application with terraform and ansible☆16Oct 2, 2026Updated 2 weeks ago
- A Phoenix reverse proxy for your umbrella apps☆16Apr 12, 2024Updated 2 years ago
- Outputs vs. outcomes: what's the different and why does it matter?☆17Apr 14, 2025Updated last year
- Fast and simple link shortener☆12Dec 17, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Software operations items☆15Apr 14, 2025Updated last year
- Tetris implementation for Youtube video series☆14Apr 28, 2020Updated 6 years ago
- Logging, Metrics and Feature Flagging in Elixir. Brought to you by Zappi.☆15Jul 28, 2026Updated 2 months ago
- ☆17Feb 6, 2024Updated 2 years ago
- A research based project which uses steganography and ML/deep learning algorithm to reconstruct the lost audio signals from a corrupted f…☆13Dec 5, 2022Updated 3 years ago
- A real-time log page for Phoenix Live Dashboard with multi-node support☆19Jun 3, 2025Updated last year
- Run an arbitrary NixOS configuration in a docker container☆18Aug 10, 2024Updated 2 years ago