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
- ACE (Adaptive Code Evolution) is an AI-powered system for code analysis and optimization.☆12Mar 25, 2026Updated 2 months ago
- ☆14Dec 23, 2025Updated 5 months ago
- Rust source code for all 650 leetcode hard algorithmic problems available with no subscription☆16Jul 6, 2025Updated 10 months ago
- A graduate course on distributed systems☆11Jan 6, 2024Updated 2 years ago
- 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.
- 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
- Run tests incrementally and interactively.☆29May 9, 2026Updated 2 weeks ago
- Graceful restart & zero downtime deploy for Go servers.☆11Dec 21, 2020Updated 5 years ago
- ☆24Sep 15, 2025Updated 8 months 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 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 2 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 Verbis CMS☆14Mar 7, 2023Updated 3 years ago
- ☆10Feb 27, 2024Updated 2 years ago
- Clarity is an interactive introspection and visualization tool for Elixir, Ash and Phoenix projects.☆25Apr 30, 2026Updated 3 weeks ago
- ☆20Dec 14, 2025Updated 5 months ago
- Make charts! Alpha version.☆15Oct 26, 2021Updated 4 years ago
- A collection of custom functions for PostgreSQL features in Ecto☆17Apr 2, 2017Updated 9 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☆18Feb 27, 2024Updated 2 years ago
- A book for competitive programming exams☆27Apr 22, 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.
- Terraform scripts for provisioning nodes in the Hetzner cloud☆20Oct 6, 2024Updated last year
- Your naming pal, written in Go 🐶☆18May 18, 2026Updated last week
- Calendar library for neovim☆19Feb 20, 2026Updated 3 months ago
- ☆13Jan 21, 2023Updated 3 years ago
- Run an arbitrary NixOS configuration in a docker container☆18Aug 10, 2024Updated last year
- Lualine component for CodeCompanion in Neovim☆22Jan 24, 2026Updated 4 months ago
- Fast and simple link shortener☆12Dec 17, 2022Updated 3 years ago
- Brama is an Elixir library for reliable connection management with external dependencies.☆20Apr 11, 2025Updated last year
- zsh grammar for tree sitter☆50May 19, 2026Updated last week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Tetris implementation for Youtube video series☆14Apr 28, 2020Updated 6 years ago
- A neubrutalist design system☆11Jul 1, 2023Updated 2 years ago
- React JS, Golang y MongoDB: Creando Red Social como Twitter☆10Jan 5, 2023Updated 3 years ago
- ☆48May 5, 2026Updated 3 weeks ago
- A Neovim plugin that uses LLMs to improve the grammar and spelling of natural language text.☆22May 16, 2026Updated last week
- Human-AI Document Standard — lightweight convention for AI-optimized technical documentation☆26May 5, 2026Updated 3 weeks ago
- A real-time log page for Phoenix Live Dashboard with multi-node support☆19Jun 3, 2025Updated 11 months ago