Life & fun · February 25, 2023
LeanCreator – a stripped-down QtCreator for C/C++, LeanQt and BUSY
LeanCreator is a stripped-down version of Qt Creator, easy to build from source on all platforms supported by LeanQt and using BUSY instead of qmake. - rochus-keller/LeanCreator
LeanCreator – a stripped-down QtCreator for C/C++, LeanQt and BUSY launched on February 25, 2023 with 111 votes, #384 of 3,829 launches that month and more than 95% of that year's launches. The site was still online in September 2026, 3 years on.
In plain words
LeanCreator is a simplified C/C++ integrated development environment based on QtCreator, designed for developers working with LeanQt and BUSY. It removes unnecessary features from the full QtCreator to provide a lightweight alternative focused on essential coding tools. The project targets programmers who prefer a minimal, streamlined editor without the overhead of a full-featured IDE.
written from the facts on this page · September 2026
Does a similar job
all alternatives →
LeanQt – a stripped-down, adaptable Qt easy to build and to integrate2022 · github.com · ▲7LeanQt is a stripped-down Qt version easy to build from source and to integrate with an application. - rochus-keller/LeanQt
- QCQR Codify, The Most Useful Snippet I've Ever Written2013 · zacharyvoase.com · ▲255
Formalizing Principia Mathematica using Lean2025 · github.com · ▲188This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. Throughout the formalization, I tried to rigorously follow Prof. Russell’s proof, with no or little added statements from my side, which were only necessary for the formalization but not the logical argument. Should you notice any inaccuracy (even if it does not necessarily falsify the proof), please let me know as I would like to proceed with the same spirit of rigour. Before starting this project, I had already found Prof. Elkind’s formalization of the Principia…
Chunk sidecarsMay 2026 · circleci.com · ▲77Hi HN! My name is Olaf, I work at CircleCI as a technology advisor in the CTO office, came in through the acquisition of my company Vamp.io (progressive delivery for microservices on k8s) in 2021. Wanted to hear the HN community feedback and thoughts on a project we think could be very interesting when adding AI coding agents to the SDLC and your CI pipelines. Our team at CircleCI built Chunk sidecars after repeatedly running into the same issue internally: by the time our CI catches a failure, the agent has already moved on and most of the useful context is gone. The basic idea of Chunk…
A cleaner alternative to the “Fork Me on GitHub” ribbon2015 · github.com · ▲45A fresher "Fork me on GitHub" callout. Contribute to tholman/github-corners development by creating an account on GitHub.
More life & fun this month
the category →
A free city-building game in your browser. You are the mayor. You know what the city needs. Now get it past the zoning board, the neighbors, the appeals court and the next election.
Life & fun · 3d ago · permit.petercai.com
- IV
Life & fun · 15d ago · tanzaniaeducationproject.org
Turn a phone, tablet or TV into a sign. Type a message and it fills the screen: welcome signs, timers, Wi-Fi passwords and more. No app, no account, free.
Life & fun · 16d ago · bigwords.page
Play a free virtual guitar online with your keyboard or by touch. Slow songs down and see every chord, string and strum. Acoustic, classic, electric and bass.
Life & fun · 10d ago · guitoro.com
Carrier settings from iPhone, Pixel and Galaxy firmware, decoded and compared: APNs, VoLTE, 5G and Wi-Fi Calling per carrier, and what each build changed.
Life & fun · 14d ago · carrierexplode.com
Life & fun · 24d ago · space.bl2.net
Source: Show HN post ↗
