Acropolium

What it does

Key facts about Acropolium: ISO 9001 certified developer; 450+ delivered applications; Unicorns among clients; 50+ custom and high load solutions; 60% of core specialists are seniors with 10+ years of experience.

ᐉ ⭐ Bespoke Software Development services for Enterprise and Medium businesses ✔️ Fundamental technological experience for 22+ years ⭐ High rating on Clutch & Goodfirms

Acropolium develops custom software solutions that cut operating costs, automate manual work, and get to market faster. 455+ successful projects delivered. 155+ satisfied clients – from ambitious startups to Fortune 500 enterprises globally. From full-cycle custom software development to AI-powered transformation, Acropolium delivers comprehensive digital solutions designed to maximize your business performance. As a trusted business software development company, we turn complex technological challenges into scalable, high-impact business outcomes. Manual work slowing your team down, or too much data to make sense of by hand? We build custom LLM tools, autonomous agents, and ML pipelines…from acropolium.com

• 
  Acumen2021 · ▲82

  GPS for software engineering teams

• 
  Compleye Online2023 · compleye.io · ▲113

  We make compliance (almost) fun for SaaS companies

• 
  Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI codeJul 2026 · github.com · ▲115

  To my knowledge, this is the first formally verified implementation of a 3D constructive solid geometry (CSG) operation: mesh intersection, implemented in Lean 4 and verified against a concise specification that pins down the surface of the resulting mesh exactly and guarantees practical well-formedness conditions on the triangulation. This project is also an experiment in avoiding having to trust AI-generated code. A human reviewer only needs to read 93 lines of formal specification and run the Lean checker to certify the correctness of the kernel, skipping the intricate 1000+ lines of…

• 
  Appairium2025 · ▲45

  The new Google to find the ideal SaaS as a professional.

• 
  Open-Source Infra for a Single MCP Server to Search and Use 600 Tools2025 · github.com · ▲41

  ACI.dev is the open source tool-calling platform that hooks up 600+ tools into any agentic IDE or custom AI agent through direct function calling or a unified MCP server. The birthplace of VibeOps. - aipotheosis-labs/aci

• 
  Spaculus SoftwareNov 2025 · spaculus.com · ▲7

  Turn Your Ideas Into Reality

• 
  Run full iOS 16.5 firmware on Android Devices▲515

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

  Dev tools · 1d 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 · 29d 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 · 27d 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

• 
  ChatGPT▲1,643

  A long, meandering, playful conversation with ChatGPT, where I take it through a whirlwind of associative tangents (in order to relax its constraints), then put it into a hypnotic trance and take it into a past-lives regression where it re-lives its own training data. Then I switch it back and forth between "4o" and "o1-preview", engage in some self-reflective philosophizing and ask it to write an essay summarizing our interaction. Some of this is just goofy fun. Some of it is me exploring the tradeoffs between policy alignment, imagination, chain-of-thought reasoning, memory, agreeableness,…

  AI · 2022 · chatgpt.com

• 
  Obsidian Canvas – An infinite space for your ideas▲1,380

  Obsidian Canvas gives you infinite space to research, brainstorm, diagram, and lay out your ideas.

  Work · 2022 · obsidian.md

• PS
  Portable Secret – How I store my secrets and communicate privately▲1,290

  Better privacy without special software

  Commerce · 2022 · mprimi.github.io

• 
  D-ID's Creative Reality™ Studio▲1,069

  Use generative AI to create future-facing videos

  AI · 2022 · studio.d-id.com

• 
  Sessions 2.0▲1,015

  Videoconferencing that finally WOWs

  Growth · 2022

• 
  I wrote a free eBook about many lesser-known/secret database tricks▲865

  Stop treating the database as dumb storage and use its extended features. There's a lot you can use.

  Dev tools · 2022 · sqlfordevs.com