devenv

What it does

Fast, Declarative, Reproducible, and Composable Developer Environments

Define packages, languages, services, tasks, secrets, and tooling once. Give every developer and CI the same fast, reproducible environment.

Define packages , languages , services , tasks , secrets , and tooling once. Give every developer and CI the same fast, reproducible environment. From zero to a reproducible environment your whole team can use. Scaffold the project, then edit devenv.nix or generate it from a prompt above. Languages, services, processes, tasks, and secrets. Everything is declarative. Python, Rust, Go, Node, Ruby, PHP, Java, Elixir, and more, with version pinning and LSP servers. 42 preconfigured services, including PostgreSQL, Redis, MySQL, RabbitMQ, MinIO, Caddy, and Elasticsearch. Declarative process management with logs, restarts, and dependencies. Just devenv up . Define dependencies, run in parallel,…from devenv.sh

• 
  Devv.AI2024 · devv.ai · ▲456

  Developer-centric AI search, augmented by code and docs

• 
  I made a better Perplexity for developers2024 · devv.ai · ▲185

  Hi HN, I am Jiayuan, and I'm here to introduce a tool we've been building over the past few months: Devv (https://devv.ai). In simple terms, it is an AI-powered search engine specifically designed for developers. Now, you might ask, with so many AI search engines already available—Perplexity, You.com, Phind, and several open-source projects—why do we need another one? We all know that Generative Search Engines are built on RAG (Retrieval-Augmented Generation)[1] combined with Large Language Models (LLMs). Most of the products mentioned above use indexes from general search engines…

• 
  Freshenv2022 · ▲77

  Provision and manage local developer environments.

• 
  Devex2025 · devx.parthkapoor.me · ▲105

  Your own open-source, containerized and shareable cloud IDE.

• 
  Developer Toolbox2022 · developertoolbox.app · ▲79

  Access 15+ carefully constructed developer tools

• 
  DevPod – Codespaces but Open Source, Client-Only, and Unopinionated2023 · github.com · ▲71

  Hi everyone - Looking for feedback for this new open source project we launched. It's called DevPod and it's built on the devcontainer.json standard to create reproducible dev environments. It lets you spin up dev environments in any infra, kind of like a Terraform but for dev environments. Compared to hosted services such as Github Codespaces, JetBrains Spaces, or Google Cloud Workstations, DevPod has the following advantages: - Open Source: DevPod is 100% open-source and extensible. A provider doesn’t exist? Just create your own. - Client-only: No need to install a server backend. DevPod…

• 
  Run full iOS 16.5 firmware on Android Devices▲518

  Contribute to oosexgang/hackios-xnu-kernel development by creating an account on GitHub.

  Dev tools · 2d ago · github.com

• 
  /dev/null▲492

  a social network for devs

  Dev tools · 5d ago · dev-null.sh

• 
  Whiteboard (YC W26) – an open-source IDE for thoughtful software design▲423

  open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

  Dev tools · 30d ago · github.com

• 
  Reladraw – A diagram language where you decide where to place things▲411

  Contribute to reladraw/reladraw development by creating an account on GitHub.

  Dev tools · 28d ago · github.com

• 
  OpenBot▲362

  Grok Bot alternative: free, local, open-source, multiplayer

  Dev tools · 25d ago · openbot.run

• 
  Talanoa▲346

  Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

  Dev tools · 22d ago · talanoa.email

• 
  VEED.IO▲1,623

  Simple online video editing

  Growth · 2022 · veed.io

• 
  Notion AI (Alpha)▲1,483

  Meet your new partner in thought

  AI · 2022 · app.notion.com

• 
  Rewind▲1,420

  The search engine for your life

  AI · 2022 · rewind.ai

• 
  Trading cards made with e-ink displays▲1,149

  I made a thing! In 2014, I was holding a stack of iPhones and thought to myself: "Hey, if I had each phone display a playing card, I could click a button and they'd shuffle themselves" I pared that idea all the way down to this: trading cards made of e-ink displays. Right now, each card costs me about $20 each, but with only a bit more scale, I think I can get that down to $10. In doing this project, I learned how to design electronics and circuit boards. I learned Rust and wrote my first driver, I upped my CAD skills, 3D printed, and did my first resin casting. I generated the images on the…

  Dev tools · 2022 · wyldcard.io

• 
  Taplio▲1,004

  The all-in-one tool to grow your personal brand on LinkedIn

  Growth · 2022 · taplio.com

• 
  BeforeSunset▲915

  Catch beautiful sights, finish your work before sunset

  Work · 2022