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.
☆54Jul 29, 2025Updated 7 months ago
Alternatives and similar repositories for safe-by-design
Users that are interested in safe-by-design are comparing it to the libraries listed below
Sorting:
- Lumen Api is a boilerplate for GoLang Api development☆16Jan 18, 2025Updated last year
- ☆31Feb 16, 2026Updated last month
- Network fault injection simulator☆21Jul 16, 2025Updated 8 months ago
- ☆14Dec 23, 2025Updated 2 months ago
- Rust source code for all 650 leetcode hard algorithmic problems available with no subscription☆15Jul 6, 2025Updated 8 months ago
- Support code for the blog post "Testing AWS in Elixir" 🐕🦺☆11Jan 25, 2022Updated 4 years ago
- A graduate course on distributed systems☆11Jan 6, 2024Updated 2 years 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 3 years ago
- Data Catalog Project☆11Dec 23, 2024Updated last year
- A powerful and flexible Elixir library for parsing, evaluating, and navigating JSON data using JSONPath☆11Feb 4, 2026Updated last month
- Graceful restart & zero downtime deploy for Go servers.☆11Dec 21, 2020Updated 5 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 5 years ago
- A disk image that boots on multiple architectures☆35Dec 17, 2025Updated 3 months ago
- A collection of recipes for setting up isolated, sandboxed e2e tests with an elixir backend and a multitude of frontends.☆12Jun 6, 2023Updated 2 years ago
- A Verbis CMS☆14Mar 7, 2023Updated 3 years ago
- Android App that genereates passcode authentication codes for Postfinance cards☆12Feb 22, 2022Updated 4 years ago
- ☆10Feb 27, 2024Updated 2 years ago
- Deployments in elixir generated into your application with terraform and ansible☆15Feb 27, 2026Updated 3 weeks ago
- Make charts! Alpha version.☆15Oct 26, 2021Updated 4 years ago
- build go projects easily with zig☆29Jun 6, 2025Updated 9 months ago
- Version lock, cache, and run binaries from any Github Release assets. Pull in external tools and keep the versions in sync across your te…☆15Jan 3, 2024Updated 2 years ago
- A sample project showing how to use google reCaptcha in a WebApp☆13Jan 31, 2017Updated 9 years ago
- Elixir module to singularize and pluralize nouns☆17Feb 27, 2024Updated 2 years ago
- A book for competitive programming exams☆31Mar 13, 2026Updated last week
- Terraform scripts for provisioning nodes in the Hetzner cloud☆20Oct 6, 2024Updated last year
- Software operations items☆15Apr 14, 2025Updated 11 months ago
- Your naming pal, written in Go 🐶☆18Mar 8, 2026Updated 2 weeks ago
- Outputs vs. outcomes: what's the different and why does it matter?☆16Apr 14, 2025Updated 11 months ago
- Calendar library for neovim☆17Feb 20, 2026Updated last month
- ☆13Jan 21, 2023Updated 3 years ago
- 手写一个迷你版本的Tomcat，实现了静态、动态资源的访问。☆10Dec 27, 2020Updated 5 years ago
- Lualine component for CodeCompanion in Neovim☆20Jan 24, 2026Updated last month
- Fast and simple link shortener☆12Dec 17, 2022Updated 3 years ago
- zsh grammar for tree sitter☆44Updated this week
- Brama is an Elixir library for reliable connection management with external dependencies.☆21Apr 11, 2025Updated 11 months ago
- Tetris implementation for Youtube video series☆14Apr 28, 2020Updated 5 years ago
- A neubrutalist design system☆11Jul 1, 2023Updated 2 years ago