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.
☆57Jul 29, 2025Updated 11 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. 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
- Provides a composable, declarative way to consume an iterator.☆25Updated this week
- Rust library and CLI tool for reading Alpine Linux’s apk package format and APKBUILD☆10Jan 19, 2026Updated 5 months ago
- Realtime NGINX log visualizer, in the style of "Defend your Castle"☆23Jan 10, 2026Updated 5 months ago
- NixCon 2025 Workshop: Mastering NixOS Integration Tests: Advanced Techniques for Fast and Robust Multi-VM Tests☆18Mar 2, 2026Updated 4 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆14Dec 23, 2025Updated 6 months ago
- Rust source code for all 650 leetcode hard algorithmic problems available with no subscription☆18Jul 6, 2025Updated 11 months ago
- Support code for the blog post "Testing AWS in Elixir" 🐕🦺☆11Jan 25, 2022Updated 4 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
- Automatic release collection over multiple Github repositories☆13Jul 3, 2018Updated 8 years ago
- Golang Estonia meetup resources, slides, code snippets etc.☆11Jul 26, 2022Updated 3 years ago
- The OpenBao Secrets Operator (bso) allows Pods to consume openbao secrets natively from Kubernetes Secrets.☆22Feb 20, 2026Updated 4 months ago
- Run tests incrementally and interactively.☆29Jun 20, 2026Updated 2 weeks ago
- YOLOv2 for Golang☆13Apr 14, 2018Updated 8 years 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.
- Chat app demo for the Hype framework written for iOS written in Swift☆13Jun 29, 2018Updated 8 years ago
- 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
- Code duplication detector powered by Elixir AST analysis☆110Jun 11, 2026Updated 3 weeks ago
- A twitter clone for Testing LiveView☆13Dec 9, 2021Updated 4 years ago
- A collection of recipes for setting up isolated, sandboxed e2e tests with an elixir backend and a multitude of frontends.☆12Jun 6, 2023Updated 3 years ago
- A disk image that boots on multiple architectures☆35Dec 17, 2025Updated 6 months ago
- A Verbis CMS☆14Mar 7, 2023Updated 3 years ago
- Deployments in elixir generated into your application with terraform and ansible☆16Jun 5, 2026Updated last month
- 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.
- Clarity is an interactive introspection and visualization tool for Elixir, Ash and Phoenix projects.☆27Updated this week
- ☆20Dec 14, 2025Updated 6 months ago
- Vale-compatible implementations of many popular "readability" metrics.☆27Oct 31, 2022Updated 3 years ago
- build go projects easily with zig☆29Jun 6, 2025Updated last year
- All-star cast of ARIA roles for testing Phoenix LiveView☆16May 2, 2024Updated 2 years 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 collection of custom functions for PostgreSQL features in Ecto☆17Apr 2, 2017Updated 9 years ago
- Just a simple client/server store app over TCP☆10Sep 25, 2020Updated 5 years ago
- A sample project showing how to use google reCaptcha in a WebApp☆13Jan 31, 2017Updated 9 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Elixir module to singularize and pluralize nouns☆18Feb 27, 2024Updated 2 years ago
- A book for competitive programming exams☆29Apr 22, 2026Updated 2 months ago
- A research based project which uses steganography and ML/deep learning algorithm to reconstruct the lost audio signals from a corrupted f…☆12Dec 5, 2022Updated 3 years ago
- Terraform scripts for provisioning nodes in the Hetzner cloud☆20Jun 23, 2026Updated last week
- Your naming pal, written in Go 🐶☆18Jun 22, 2026Updated 2 weeks ago
- A beautiful, vibrant Neovim colorscheme inspired by spring blossoms with a soft, dreamy aesthetic.☆23Jan 5, 2026Updated 6 months ago
- A Neovim plugin that extends fzf-lua with additional utilities☆15Mar 19, 2025Updated last year