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 9 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
- Rust library and CLI tool for reading Alpine Linux’s apk package format and APKBUILD☆10Jan 19, 2026Updated 3 months ago
- ACE (Adaptive Code Evolution) is an AI-powered system for code analysis and optimization.☆12Mar 25, 2026Updated last month
- Network fault injection simulator☆21Jul 16, 2025Updated 9 months ago
- NixCon 2025 Workshop: Mastering NixOS Integration Tests: Advanced Techniques for Fast and Robust Multi-VM Tests☆17Mar 2, 2026Updated 2 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Rust source code for all 650 leetcode hard algorithmic problems available with no subscription☆15Jul 6, 2025Updated 9 months ago
- ☆14Dec 26, 2025Updated 4 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
- Automatic release collection over multiple Github repositories☆13Jul 3, 2018Updated 7 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 2 months ago
- Run tests incrementally and interactively.☆29Feb 24, 2026Updated 2 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆23Sep 15, 2025Updated 7 months ago
- Code duplication detector for Elixir, powered by native AST analysis☆91Apr 28, 2026Updated last week
- A twitter clone for Testing LiveView☆13Dec 9, 2021Updated 4 years ago
- A disk image that boots on multiple architectures☆35Dec 17, 2025Updated 4 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
- Deployments in elixir generated into your application with terraform and ansible☆15Updated this week
- Clarity is an interactive introspection and visualization tool for Elixir, Ash and Phoenix projects.☆24Apr 27, 2026Updated last week
- All-star cast of ARIA roles for testing Phoenix LiveView☆16May 2, 2024Updated 2 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.
- 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
- 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
- A book for competitive programming exams☆34Apr 22, 2026Updated 2 weeks ago
- Terraform scripts for provisioning nodes in the Hetzner cloud☆20Oct 6, 2024Updated last year
- Software operations items☆15Apr 14, 2025Updated last year
- A beautiful, vibrant Neovim colorscheme inspired by spring blossoms with a soft, dreamy aesthetic.☆23Jan 5, 2026Updated 4 months ago
- Calendar library for neovim☆19Feb 20, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 手写一个迷你版本的Tomcat，实现了静态、动态资源的访问。☆10Dec 27, 2020Updated 5 years ago
- ☆13Jan 21, 2023Updated 3 years ago
- a neovim plugin for anyone using claude code/AI coding tools☆24Dec 3, 2025Updated 5 months ago
- Run an arbitrary NixOS configuration in a docker container☆18Aug 10, 2024Updated last year
- Fast and simple link shortener☆12Dec 17, 2022Updated 3 years ago
- zsh grammar for tree sitter☆46Apr 12, 2026Updated 3 weeks ago
- Tetris implementation for Youtube video series☆14Apr 28, 2020Updated 6 years ago